A process algebraic approach to software architecture design | lit.salon