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