R. Bagrodia, Process synchronization: design and performance evaluation of distributed algorithms, IEEE Transactions on Software Engineering, vol.15, issue.9, pp.1053-1065, 1989.
DOI : 10.1109/32.31364

B. Bonakdarpour, M. Bozga, M. Jaber, J. Quilbeuf, and J. Sifakis, From high-level component-based models to distributed implementations, Proceedings of the tenth ACM international conference on Embedded software, EMSOFT '10, pp.209-218, 2010.
DOI : 10.1145/1879021.1879049

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

A. Bouajjani, J. C. Fernandez, S. Graf, C. Rodríguez, and J. Sifakis, Safety for branching time semantics, Proc. of 18th ICALP, 1991.
DOI : 10.1007/3-540-54233-7_126

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

S. D. Brookes, C. A. Hoare, and A. W. Roscoe, A Theory of Communicating Sequential Processes, Journal of the ACM, vol.31, issue.3, pp.560-599, 1984.
DOI : 10.1145/828.833

K. M. Chandy and J. Misra, Parallel Program Design, 1988.
DOI : 10.1007/978-1-4613-9668-0_6

N. Coste, H. Garavel, H. Hermanns, F. Lang, R. Mateescu et al., Ten Years of Performance Evaluation for Concurrent Systems Using CADP, Proc. of ISoLA, 2010.
DOI : 10.1007/978-3-642-16561-0_18

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

E. W. Dijkstra, The Structure of the, Multiprogramming System. Comm. of the ACM, 1968.
URL : https://hal.archives-ouvertes.fr/in2p3-00005344

H. Garavel, . Open, and . Caesar, An Open Software Architecture for Verification, Simulation, and Testing, Proc. of TACAS, 1998.
URL : https://hal.archives-ouvertes.fr/inria-00073337

H. Garavel and F. Lang, SVL: A Scripting Language for Compositional Verification, Proc. of FORTE, Kluwer, 2001.
DOI : 10.1007/0-306-47003-9_24

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

H. Garavel, F. Lang, R. Mateescu, and W. Serwe, CADP 2011: a toolbox for the construction and analysis of distributed processes, International Journal on Software Tools for Technology Transfer, vol.1, issue.1/2, pp.89-107, 2013.
DOI : 10.1007/s10009-012-0244-z

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

H. Garavel and M. Sighireanu, A Graphical Parallel Composition Operator for Process Algebras, Proc. of FORTE/PSTV, Kluwer, 1999.
DOI : 10.1007/978-0-387-35578-8_11

H. Garavel, C. Viho, and M. Zendri, System Design of a CC-NUMA Multiprocessor Architecture using Formal Specification, Model-Checking, Co-Simulation, and Test Generation, STTT, vol.3, issue.3, pp.314-331, 2001.
URL : https://hal.archives-ouvertes.fr/inria-00072597

J. W. Havender, Avoiding deadlock in multitasking systems, IBM Systems Journal, vol.7, issue.2, pp.74-84, 1968.
DOI : 10.1147/sj.72.0074

C. A. Hoare, Communicating Sequential Processes, 1985.

I. Iec, LOTOS ? A Formal Description Technique Based on the Temporal Ordering of Observational Behaviour, International Standard International Organization for Standardization, vol.8807, 1989.

I. Iec, Enhancements to LOTOS (E-LOTOS) International Standard 15437, International Organization for Standardization, 2001.

F. Lang, Exp.Open 2.0: A Flexible Tool Integrating Partial Order, Compositional, and On-The-Fly Verification Methods, Proc. of IFM, 2005.
DOI : 10.1007/11589976_6

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

R. Mateescu and E. Oudot, Bisimulator 2.0: An On-the-Fly Equivalence Checker based on Boolean Equation Systems, 2008 6th ACM/IEEE International Conference on Formal Methods and Models for Co-Design, 2008.
DOI : 10.1109/MEMCOD.2008.4547690

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

R. Mateescu and D. Thivolle, A Model Checking Language for Concurrent Value-Passing Systems, Proc. of FM, 2008.
DOI : 10.1007/978-3-540-68237-0_12

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

R. Milner, Communication and Concurrency, 1989.

D. Park, Concurrency and automata on infinite sequences, Theoretical Computer Science LNCS, vol.104, 1981.
DOI : 10.1007/BFb0017309

J. Parrow and P. Sjödin, Designing a multiway synchronization protocol, Computer Communications, vol.19, issue.14, pp.1151-1160, 1996.
DOI : 10.1016/S0140-3664(96)01149-8

J. Parrow and P. Sjödin, Multiway synchronization verified with coupled simulation, pp.518-533, 1992.
DOI : 10.1007/BFb0084813

J. A. Pérez, R. Corchuelo, and M. Toro, An order-based algorithm for implementing multiparty synchronization. Concurrency and Computation: Practice and Experience, pp.1173-1206, 2004.

R. Sisto, L. Ciminiera, and A. Valenzano, A protocol for multirendezvous of LOTOS processes, IEEE Transactions on Computers, vol.40, issue.4, pp.437-447, 1991.
DOI : 10.1109/12.88463

P. Sjödin, From LOTOS Specifications to Distributed Implementations, 1991.

J. Stoecker, F. Lang, and H. Garavel, Parallel Processes with Real-Time and Data: The ATLANTIF Intermediate Format, Proc. of IFM, 2009.
DOI : 10.1007/s100090050009

R. J. Van-glabbeek and W. P. Weijland, Branching time and abstraction in bisimulation semantics, Proc. of IFIP, 1989.
DOI : 10.1145/233551.233556