Title: Multi-Queue SBC Process Algebra for Systems Architecture