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