1. Allen, R.J.: A formal approach to software architecture. PhD thesis, Carnegie Mellon University (1997)
2. Arbab, F., Scholten, J.V.G., de Boer, F.S., Bonsangue, M.M.: A channel-based coordination model for components. Technical report, Centruum voor Wiskunde en Informatica (2002)
3. Arnold, A.: Finite transition systems. Prentice Hall, Englewood Cliffs (1994)
4. Lecture Notes in Computer Science;C. Attiogbé,2003
5. Lecture Notes in Computer Science;L. Bellissard,1995