Performance Evaluation of Software Architectural Types: A Process Algebraic Approach