Title: Variants of SBC Process Algebra