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