On the Formalization of Architectural Types with Process Algebras