1. A. Aldini, M. Bernardo, A general deadlock detection approach for software architectures, in: Proc. 12th Internat. Formal Methods Europe Symp. (FME 2003), Lecture Notes in Computer Science, Vol. 2805, Pisa, Italy, 2003, pp. 658–677.
2. R. Allen, R. Douence, D. Garlan, Specifying and analyzing dynamic software architectures, in: Proc. 1st Internat. Conf. on Fundamental Approaches to Software Engineering (FASE 1998), Lecture Notes in Computer Science, Vol. 1382, Lisbon, Portugal, 1998, pp. 21–37.
3. A formal basis for architectural connection;Allen;ACM Trans. Software Eng. Methodol.,1997
4. Process Algebra;Baeten,1990
5. J.A. Bergstra, A. Ponse, S.A. Smolka (Eds.), Handbook of Process Algebra, Elsevier, Amsterdam, 2001.