R. Ameur-boulifa, L. Henrio, E. , and A. Savu, Behavioural semantics for asynchronous components, Journal of Logical and Algebraic Methods in Programming, vol.89, 2012.
DOI : 10.1016/j.jlamp.2017.02.003
URL : https://hal.archives-ouvertes.fr/hal-00761073

T. Barros, R. Boulifa, A. Cansado, L. Henrio, and &. Madelaine, Behavioural models for distributed Fractal components, annals of telecommunications - annales des t??l??communications, vol.5, issue.1, 2009.
DOI : 10.1007/s12243-008-0069-7
URL : https://hal.archives-ouvertes.fr/inria-00268965

F. Baude, D. Caromel, C. Dalmasso, M. Danelutto, V. Getov et al., GCM: a grid extension to Fractal for autonomous distributed components, annals of telecommunications - annales des t??l??communications, vol.36, issue.1, pp.5-24, 2009.
DOI : 10.1007/s12243-008-0068-8
URL : https://hal.archives-ouvertes.fr/inria-00323919

R. Boulifa, L. Henrio, and &. Madelaine, Behavioural Models for Group Communications, WCSI-10: International Workshop on Component and Service Interoperability, pp.42-56, 2010.
DOI : 10.4204/EPTCS.37.4
URL : https://hal.archives-ouvertes.fr/inria-00493692

R. Rabéa-ameur-boulifa, L. Halalai, &. Henrio, and . Madelaine, Verifying Safety of Fault-Tolerant Distributed Components, International Symposium on Formal Aspects of Component Software, 2011.

E. Bruneton, T. Coupaye, M. Leclercp, V. Quema, and &. 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

T. Bures, P. Hnetynka, and &. F. Plasil, SOFA 2.0: Balancing Advanced Features in a Hierarchical Component Model, Fourth International Conference on Software Engineering Research, Management and Applications (SERA'06), pp.40-48, 2006.
DOI : 10.1109/SERA.2006.62

A. Cansado, L. Henrio, and &. Madelaine, Transparent First-class Futures and Distributed Components, International Workshop on Formal Aspects of Component Software (FACS'08), Electronic Notes in Theoretical Computer Science (ENTCS), 2008.
DOI : 10.1016/j.entcs.2009.12.036
URL : https://hal.archives-ouvertes.fr/inria-00311515

D. Caromel, L. Henrio, &. Bernard, and P. Serpette, Asynchronous sequential processes. Information and Computation, 2008.
DOI : 10.1016/j.ic.2008.12.004
URL : https://hal.archives-ouvertes.fr/inria-00071834

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

D. Kozen, Results on the Propositional Mu-Calculus, Theoretical Computer Science, vol.40, 1985.

R. Mateescu and &. D. Thivolle, A Model Checking Language for Concurrent Value-Passing Systems, FM'08, 2008.
DOI : 10.1007/978-3-540-68237-0_12
URL : https://hal.archives-ouvertes.fr/inria-00315312

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

P. Poizat, J. C. Royer, and &. G. Salaun, Bounded Analysis and Decomposition for Behavioural Descriptions of Components, FMOODS, 2006.
DOI : 10.1145/353323.353382
URL : https://hal.archives-ouvertes.fr/hal-00342158