Title: Operation-Based Infinite-Queue SBC Process Algebra for Systems Definition