Title: Single-Queue SBC Process Algebra for Systems Architecture