Title: Channel-Based Infinite-Queue SBC Process Algebra For Systems Definition