Title: Channel-Based Single-Queue SBC Process Algebra for Systems Definition