T. Barros, R. Boulifa, A. Cansado, L. Henrio, and E. 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

R. Boulifa, L. Henrio, and E. Madelaine, Behavioural models for group communications, WCSI-10: International Workshop on Component and Service Interoperability, pp.42-56, 2010.
URL : https://hal.archives-ouvertes.fr/inria-00493692

R. A. Boulifa, R. Halalai, L. Henrio, and E. Madelaine, Verifying safety of fault-tolerant distributed components, International Symposium on Formal Aspects of Component Software ser. Lecture Notes in Computer Science, 2011.
URL : https://hal.archives-ouvertes.fr/inria-00621264

T. Barros, L. Henrio, and E. Madelaine, Behavioural Models for Hierarchical Components, Proceedings of SPIN'05, 2005.
DOI : 10.1007/11537328_14
URL : https://hal.archives-ouvertes.fr/inria-00122933

L. Henrio, E. Madelaine, and M. Zhang, pNets: An Expressive Model for Parameterised Networks of Processes, 2015 23rd Euromicro International Conference on Parallel, Distributed, and Network-Based Processing, 2014.
DOI : 10.1109/PDP.2015.70
URL : https://hal.archives-ouvertes.fr/hal-01139432

R. Milner, Communication and Concurrency, 1989.

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

R. Mateescu and G. Salaün, Translating Pi-Calculus into LOTOS NT, IFM, pp.229-244, 2010.
DOI : 10.1007/s10009-003-0136-3
URL : https://hal.archives-ouvertes.fr/inria-00524586

A. Basu, B. Bensalem, M. Bozga, J. Combaz, M. Jaber et al., Rigorous Component-Based System Design Using the BIP Framework, IEEE Software, vol.28, issue.3, pp.41-48, 2011.
DOI : 10.1109/MS.2011.27
URL : https://hal.archives-ouvertes.fr/hal-00722395

F. Arbab, Reo: a channel-based coordination model for component composition, Mathematical Structures in Computer Science, vol.14, issue.3, pp.329-366, 2004.
DOI : 10.1017/S0960129504004153

J. Groote and F. Vaandrager, Structured operational semantics and bisimulation as a congruence, Information and Computation, vol.100, issue.2, pp.202-260, 1992.
DOI : 10.1016/0890-5401(92)90013-6

R. De-simone, Higher-level synchronizing devices in Meije-SCCS, Theoretical Computer Science, vol.40, 1985.
URL : https://hal.archives-ouvertes.fr/inria-00076196

A. Ingólfsdóttir and H. Lin, A Symbolic Approach to Value-Passing Processes, Handbook of Process Algebra, 2001.
DOI : 10.1016/B978-044482830-9/50025-4