Title: Process Algebra for Systems Architecture