Title: Channel-Based Multi-Queue SBC Process Algebra For Systems Modeling