A. Arnold, Nivat's processes and their synchronization, Theoretical Computer Science, vol.281, issue.1-2, pp.31-36, 2002.
DOI : 10.1016/S0304-3975(02)00006-3
URL : http://doi.org/10.1016/s0304-3975(02)00006-3

T. Barros, Formal specification and verification of distributed component systems, 2005.
URL : https://hal.archives-ouvertes.fr/tel-00090718

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

T. Barros, L. Henrio, and E. Madelaine, Behavioural Models for Hierarchical Components, Model Checking Software, 12th International SPIN Workshop, volume LNCS 3639, pp.154-168, 2005.
DOI : 10.1007/11537328_14
URL : https://hal.archives-ouvertes.fr/inria-00122933

T. Barros, L. Henrio, and E. Madelaine, Verification of Distributed Hierarchical Components, International Workshop on Formal Aspects of Component Software (FACS'05), 2005.
DOI : 10.1016/j.entcs.2006.05.014
URL : https://hal.archives-ouvertes.fr/inria-00122926

E. Bruneton, T. Coupaye, M. Leclercp, V. Quema, and J. Stefani, An Open Component Model and Its Support in Java, 7th Int. Symp. on Component-Based Software Engineering (CBSE-7), 2004.
DOI : 10.1007/978-3-540-24774-6_3

C. Carrez, A. Fantechi, and E. Najm, Behavioural Contracts for a Sound Assembly of Components, Forte'03 conference, number 2767, 2003.
DOI : 10.1007/3-540-60630-0_2

R. Cleaveland and J. Riely, Testing-based abstractions for value-passing systems, In Int. Conference on Concurrency Theory (CONCUR) Lecture Notes in Computer Science, vol.836, pp.417-432

M. B. Dwyer, G. S. Avrunin, and J. C. Corbett, Patterns in property specifications for finite-state verification, Proc. 21st International Conference on Software Engineering, pp.411-420, 1999.

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

A. Griffault, F. Herbreteau, G. Point, G. Sutre, A. Vincent et al., Intégration des outils PERSÉEPERS´PERSÉE, Livrable RC1, Projet PERSÉEPERS´PERSÉE de l'ACI Sécurité Informatique, 2005.

F. Lang, Exp.Open 2.0: A Flexible Tool Integrating Partial Order, Compositional, and On-The-Fly Verification Methods, Proceedings of the 5th International Conference on Integrated Formal Methods IFM'2005, 2005.
DOI : 10.1007/11589976_6
URL : https://hal.archives-ouvertes.fr/inria-00070339

H. Lin, Symbolic transition graph with assignment, CONCUR '96, 1996.
DOI : 10.1007/3-540-61604-7_47
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.18.7639

E. Madelaine, Verification tools from the CONCUR project, EATCS Bull, vol.47, 1992.

F. Plasil, P. Jezek, and J. Kofron, Model checking of component behavior specification: A real life experience, International Workshop on Formal Aspects of Component Software (FACS'05), 2005.

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