R. Allen and D. Garlan, A formal basis for architectural connection, ACM Transactions on Software Engineering and Methodology, vol.6, issue.3, 1997.
DOI : 10.1145/258077.258078

URL : https://hal.archives-ouvertes.fr/hal-00444067

A. Arnold, Finite transition systems. Semantics of communicating sytems, 1994.

I. Attali, T. Barros, and E. Madelaine, Formalisation and proofs of the chilean electronic invoices system, XXIV International Conference of the Chilean Computer Science Society, pp.14-25, 2004.
URL : https://hal.archives-ouvertes.fr/inria-00087210

T. Barros, R. Boulifa, and E. Madelaine, Parameterized Models for Distributed Java Objects, LNCS, vol.3235, 2004.
DOI : 10.1007/978-3-540-30232-2_4

URL : https://hal.archives-ouvertes.fr/inria-00087222

F. Baude, D. Caromel, and M. Morel, From Distributed Objects to Hierarchical Grid Components, International Symposium on Distributed Objects and Applications (DOA), 2003.
DOI : 10.1007/978-3-540-39964-3_78

E. Bruneton, T. Coupaye, and J. Stefani, Recursive and dynamic software composition with sharing, Proceedings of the 7th ECOOP International Workshop on Component-Oriented Programming (WCOP'02), 2002.

A. Fantechi, C. Carrez, and E. Najm, Behavioural contracts for a sound assembly of components, proceedings of FORTE'03, volume LNCS 2767, 2003.

R. , D. Nicola, and F. W. Vaandrager, Action versus state based logics for transition systems, Semantics of Systems of Concurrent Processes, 1990.

H. Garavel, F. Lang, and R. Mateescu, An overview of CADP, European Association for Software Science and Technology (EASST) Newsletter, pp.13-24, 2001.
URL : https://hal.archives-ouvertes.fr/inria-00069920

D. Giannakopoulou, J. Kramer, and S. C. Cheung, Behaviour analysis of distributed systems using the tracta approach, Automated Software Engineering, vol.6, issue.1, pp.7-35, 1999.
DOI : 10.1023/A:1008645800955

H. Lin, Symbolic transition graph with assignment, CONCUR '96, pp.26-29, 1996.
DOI : 10.1007/3-540-61604-7_47

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=

F. Plasil and S. Visnovsky, Behavior protocols for software components, IEEE Transactions on Software Engineering, vol.28, issue.11, 2002.
DOI : 10.1109/TSE.2002.1049404