T. Amnell, E. Fersman, L. Mokrushin, P. Pettersson, and W. Yi, TIMES: A tool for schedulability analysis and code generation of realtime systems. In: Formal Modeling and Analysis of Timed Systems, pp.60-72, 2004.

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

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

G. Behrmann, K. G. Larsen, O. Moller, A. David, P. Pettersson et al., UPPAAL - present and future, Proceedings of the 40th IEEE Conference on Decision and Control (Cat. No.01CH37228), pp.2881-2886, 2001.
DOI : 10.1109/CDC.2001.980713
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.22.6948

S. Bensalem, A. Griesmayer, A. Legay, T. Nguyen, J. Sifakis et al., D-Finder 2: Towards Efficient Correctness of Incremental Design, Proceedings of the 3rd NASA International Symposium on Formal Methods (NFM'2011), pp.453-458, 2011.
DOI : 10.1109/MS.1985.230351

D. Bergamini, N. Descoubes, C. Joubert, and R. Mateescu, BISIMULATOR: A Modular Tool for On-the-Fly Equivalence Checking, Proceedings of the 11th International Conference on Tools and Algorithms for the Construction and Analysis of Systems TACAS'2005 of Lecture Notes in Computer Science, pp.581-585, 2005.
DOI : 10.1007/978-3-540-31980-1_42
URL : https://hal.archives-ouvertes.fr/hal-00685325

G. Berry, SCADE: Synchronous design and validation of embedded control software In: Next Generation Design and Verification Methodologies for Distributed Embedded Control Systems, pp.19-33, 2007.

G. Bochmann, Q. Gao, and C. Wu, On the distributed implementation of LOTOS, Proceedings of the 2nd International Conference on Formal Description Techniques (FORTE'89, pp.133-146, 1989.

B. Bonakdarpour, M. Bozga, and J. Quilbeuf, Model-based implementation of distributed systems with priorities, Design Automation for Embedded Systems, vol.16, issue.12, pp.251-276, 2013.
DOI : 10.1007/s10617-012-9091-0
URL : https://hal.archives-ouvertes.fr/hal-00878023

A. Bouajjani, J. Fernandez, S. Graf, C. Rodríguez, and J. Sifakis, Safety for branching time semantics, Proceedings of 18th ICALP, 1991.
DOI : 10.1007/3-540-54233-7_126
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.24.1049

M. Carbone and F. Montesi, Deadlock-freedom-by-design: Multiparty asynchronous global programming, Proceedings of the 40th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL'13), pp.263-274, 2013.
DOI : 10.1145/2429069.2429101
URL : https://hal.archives-ouvertes.fr/hal-00909320

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, Proceedings of the 4th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation ISoLA 2010 of Lecture Notes in Computer Science, pp.128-142, 2010.
DOI : 10.1007/978-3-642-16561-0_18
URL : https://hal.archives-ouvertes.fr/inria-00532914

E. W. D?kstra, Solution of a problem in concurrent programming control, Communications of the ACM, vol.8, issue.9, pp.569-570, 1965.
DOI : 10.1145/365559.365617

E. W. D?kstra, Guarded commands, nondeterminacy and formal derivation of programs, Communications of the ACM, vol.18, issue.8, pp.453-457, 1975.
DOI : 10.1145/360933.360975

K. Dokter, S. T. Jongmans, F. Arbab, and S. Bliudze, Relating BIP and Reo, Proceedings of the 8th Interaction and Concurrency Experience (ICE'2015), pp.3-20, 2015.
DOI : 10.4204/EPTCS.189.3
URL : http://doi.org/10.4204/eptcs.189.3

H. Evrard, Génération automatique d'implémentation distribuée à partir de modèles formels de processus concurrents asynchrones. Thesis, 2015.

H. Evrard, DLC: Compiling a Concurrent System Formal Specification to a Distributed Implementation, Proceedings of the 22nd International Conference on Tools and Algorithms for the Construction and Analysis of Systems TACAS'2016. Lecture Notes in Computer Science, 2016.
DOI : 10.1007/978-3-662-49674-9_34
URL : https://hal.archives-ouvertes.fr/hal-01250925

H. Evrard and F. Lang, Formal Verification of Distributed Branching Multiway Synchronization Protocols, Proceedings of the IFIP Joint International Conference on Formal Techniques for Distributed Systems, pp.146-160, 2013.
DOI : 10.1007/978-3-642-38592-6_11
URL : https://hal.archives-ouvertes.fr/hal-00818788

H. Evrard and F. Lang, Automatic Distributed Code Generation from Formal Models of Asynchronous Concurrent Processes, 2015 23rd Euromicro International Conference on Parallel, Distributed, and Network-Based Processing, 2015.
DOI : 10.1109/PDP.2015.96
URL : https://hal.archives-ouvertes.fr/hal-01086522

H. Garavel, Reflections on the Future of Concurrency Theory in General and Process Calculi in Particular, Proceedings of the LIX Colloquium on Emerging Trends in Concurrency Theory of Electronic Notes in Theoretical Computer Science, pp.149-164, 2006.
DOI : 10.1016/j.entcs.2008.04.009
URL : https://hal.archives-ouvertes.fr/inria-00191141

H. Garavel, F. Lang, M. Kim, B. Chin, S. Kang et al., SVL: A Scripting Language for Compositional Verification, Proceedings of the 21st IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems FORTE'2001, pp.377-392, 2001.
DOI : 10.1007/0-306-47003-9_24
URL : https://hal.archives-ouvertes.fr/inria-00072396

H. Garavel, F. Lang, and R. Mateescu, Compiler Construction Using LOTOS NT, Proceedings of the 11th International Conference on Compiler Construction (CC'2002), pp.9-13, 2002.
DOI : 10.1007/3-540-45937-5_3

H. Garavel, F. Lang, and R. Mateescu, Compositional verification of asynchronous concurrent systems using CADP, Acta Informatica, vol.56, issue.1/2, pp.337-392, 2015.
DOI : 10.1007/s00236-015-0226-1
URL : https://hal.archives-ouvertes.fr/hal-01247507

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, M. Sighireanu, J. Wu, Q. Gao, and S. Chanson, A Graphical Parallel Composition Operator for Process Algebras, Proceedings of the Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols, and Protocol Specification, Testing, and Verification (FORTE/PSTV'99), pp.185-202, 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, International Journal on Software Tools for Technology Transfer, vol.3, issue.3, pp.314-331, 2001.
URL : https://hal.archives-ouvertes.fr/inria-00072597

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

G. J. Holzmann, The model checker SPIN, IEEE Transactions on Software Engineering, vol.23, issue.5, 2004.
DOI : 10.1109/32.588521

I. Iec, LOTOS ? A formal description technique based on the temporal ordering of observational behaviour, International Organization for Standardization ? Information Processing Systems ? Open Systems Interconnection, 1989.

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

C. Jard and T. Jéron, TGV: theory, principles and algorithms, International Journal on Software Tools for Technology Transfer, vol.17, issue.4, pp.297-315, 2005.
DOI : 10.1007/s10009-004-0153-x
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.1.4262

S. T. Jongmans, F. Santini, and F. Arbab, Partially-Distributed Coordination with Reo, 2014 22nd Euromicro International Conference on Parallel, Distributed, and Network-Based Processing, pp.697-706, 2014.
DOI : 10.1109/PDP.2014.19

G. Katz and D. Peled, Code Mutation in Verification and Automatic Code Correction, Proceedings of the International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'2010, pp.435-450, 2010.
DOI : 10.1007/978-3-642-12002-2_36

D. Kumar, An implementation of N-party synchronization using tokens, Proceedings.,10th International Conference on Distributed Computing Systems, pp.320-327, 1990.
DOI : 10.1109/ICDCS.1990.89299

L. Lamport, Paxos made simple, ACM Sigact News, vol.32, issue.4, pp.18-25, 2001.

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), pp.70-88, 2005.
DOI : 10.1007/11589976_6
URL : https://hal.archives-ouvertes.fr/inria-00070339

E. Lantreibecq and W. Serwe, Model Checking and Co-simulation of a Dynamic Task Dispatcher Circuit Using CADP, Proceedings of the 16th International Workshop on Formal Methods for Industrial Critical Systems, 2011.
DOI : 10.1007/978-3-642-24431-5_14
URL : https://hal.archives-ouvertes.fr/hal-00642029

L. Lockefeer, D. M. Williams, and W. J. Fokkink, Formal specification and verification of TCP extended with the Window Scale Option, Science of Computer Programming, vol.118, pp.3-23, 2016.
DOI : 10.1016/j.scico.2015.08.005

S. Löffler, From specification to implementation: A PROMELA to C compiler, 1996.

J. A. Mañas, T. De-miguel, J. Salvachúa, and A. Azcorra, Tool support to implement LOTOS formal specifications, Computer Networks and ISDN Systems, vol.25, issue.7, pp.815-839, 1993.
DOI : 10.1016/0169-7552(93)90050-E

R. Mateescu and H. Garavel, Xtl: A meta-language and tool for temporal logic model-checking, Proceedings of the International Workshop on Software Tools for Technology Transfer STTT'98, pp.33-42, 1998.

R. Mateescu and M. Sighireanu, Efficient on-the-fly model-checking for regular alternation-free mu-calculus, Science of Computer Programming, vol.46, issue.3, pp.255-281, 2003.
DOI : 10.1016/S0167-6423(02)00094-1
URL : https://hal.archives-ouvertes.fr/hal-00109620

R. Mateescu and D. Thivolle, A Model Checking Language for Concurrent Value-Passing Systems, Proceedings of the 15th International Symposium on Formal Methods (FM'08) of Lecture Notes in Computer Science, pp.148-164, 2008.
DOI : 10.1007/978-3-540-68237-0_12
URL : https://hal.archives-ouvertes.fr/inria-00315312

F. Montesi and N. Yoshida, Compositional Choreographies, Proceedings of the 24th International Conference on Concurrency Theory (CONCUR'13) Buenos Aires, pp.425-439, 2013.
DOI : 10.1007/978-3-642-40184-8_30
URL : https://hal.archives-ouvertes.fr/hal-00909321

U. Nestmann and B. C. Pierce, Decoding choice encodings, Proceedings of the 7th International Conference on Concurrency Theory (CONCUR'96), pp.179-194, 1996.
DOI : 10.1007/3-540-61604-7_55

N. Ng and N. Yoshida, Pabble: Parameterised Scribble for Parallel Programming, 2014 22nd Euromicro International Conference on Parallel, Distributed, and Network-Based Processing, pp.707-714, 2014.
DOI : 10.1109/PDP.2014.20

M. V. Oliveira, I. S. De-medeiros-júnior, and J. Woodcock, A Verified Protocol to Implement Multi-way Synchronisation and Interleaving in CSP, Proceedings of the 11th International Conference on Software Engineering and Formal Methods (SEFM'2013) of Lecture Notes in Computer Science, pp.46-60, 2013.
DOI : 10.1007/978-3-642-40561-7_4

D. Ongaro and J. Ousterhout, Safety proof and formal specification for Raft, 2013.

D. Ongaro and J. Ousterhout, In search of an understandable consensus algorithm, Proceedings of the USENIX Annual Technical Conference (USENIX ATC'2014). USENIX Association, pp.305-319, 2014.

D. Park, Concurrency and automata on infinite sequences, Theoretical Computer Science. Lecture Notes in Computer Science, vol.104, pp.167-183, 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
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.697.3475

J. A. Pérez, R. Corchuelo, and M. Toro, An order-based algorithm for implementing multiparty synchronization, Concurrency and Computation: Practice and Experience, vol.16, issue.12, pp.1173-1206, 2004.
DOI : 10.1002/cpe.903

K. Peters, U. Nestmann, and U. Goltz, On Distributability in Process Calculi, Proceedings of the 22nd European Symposium on Programming (ESOP'2013), pp.310-329, 2013.
DOI : 10.1007/978-3-642-37036-6_18

J. Proença, D. Clarke, E. De-vink, and F. Arbab, Dreams, Proceedings of the 27th Annual ACM Symposium on Applied Computing, SAC '12, 2012.
DOI : 10.1145/2245276.2232017

J. Quilbeuf, Distributed implementations of component-based systems with prioritized multiparty interactions, 2013.
URL : https://hal.archives-ouvertes.fr/tel-01168470

F. B. Schneider, Implementing fault-tolerant services using the state machine approach: a tutorial, ACM Computing Surveys, vol.22, issue.4, pp.299-319, 1990.
DOI : 10.1145/98163.98167

A. Sharma, A Refinement Calculus for Promela, 2013 18th International Conference on Engineering of Complex Computer Systems, pp.75-84, 2013.
DOI : 10.1109/ICECCS.2013.20

M. Sighireanu, Contribution à la définition et à l'implémentation du langage " Extended LOTOS, Thèse de Doctorat, 1999.

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.

D. Taubner, On the implementation of Petri nets, Proceedings of the 8th European Workshop on Applications and Theory of Petri Nets, pp.418-434, 1987.
DOI : 10.1007/3-540-50580-6_40

J. Winkowski, A distributed implementation of Petri nets, Polish Academy of Science, 1983.

K. Yasumoto, T. Higashino, and K. Taniguchi, A compiler to implement LOTOS specifications in distributed environments, Computer Networks, vol.36, issue.2-3, pp.291-310, 2001.
DOI : 10.1016/S1389-1286(01)00157-8