E. Amnell, L. Fersman, P. Mokrushin, W. Pettersson, and . Yi, TIMES: A??Tool for Schedulability Analysis and Code Generation of Real-Time Systems, Formal Modeling and Analysis of Timed Systems, pp.60-72, 2004.
DOI : 10.1007/978-3-540-40903-8_6

A. 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. Armstrong, Making reliable distributed systems in the presence of software errors The Royal Institute of Technology, 2003.

]. R. Bag85, . Bagrodiabag89-]-r, and . Bagrodia, A distributed algorithm for n-party interactions Process synchronization : Design and performance evaluation of distributed algorithms. Software Engineering, MCC Technical Report IEEE Transactions on, vol.15, issue.9, pp.1053-1065, 1985.

. Bbj-+-10a-]-b, M. Bonakdarpour, M. Bozga, J. Jaber, J. Quilbeuf et al., From highlevel component-based models to distributed implementations, Proceedings of the tenth ACM international conference on Embedded software, pp.209-218, 2010.

M. Bonakdarpour, M. Bozga, J. Jaber, J. Quilbeuf, M. Bonakdarpour et al., Automated conflict-free distributed implementation of component-based models Automated distributed implementation of component-based models with priorities, IEEE Fifth International Symposium on Industrial Embedded Systems -SIES 2010 Proceedings of the 11th International Conference on Embedded Software , EMSOFT 2011, part of the Seventh Embedded Systems Week, pp.108-117, 2010.

[. 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. Basu, M. Bozga, and J. Sifakis, Modeling Heterogeneous Real-time Components in BIP, Fourth IEEE International Conference on Software Engineering and Formal Methods (SEFM'06), pp.11-15, 2006.
DOI : 10.1109/SEFM.2006.27

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

A. Bouajjani, J. Fernandez, S. Graf, C. Rodríguez, J. Berry et al., Safety for branching time semantics The esterel synchronous programming language : Design, semantics, implementation D-finder 2 : Towards efficient correctness of incremental design, Proceedings of 18th ICALP NASA Formal Methods -Third International Symposium , NFM 2011 Proceedings, pp.87-152, 1991.

Q. [. Bochmann, C. Gao, and . Wu, On the distributed implementation of LOTOS, Proc. 2nd Intl. Conf. on Formal Description Techniques, pp.133-146, 1989.

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

D. Beyer and M. E. Keremoglu, CPAchecker: A Tool for Configurable Software Verification, Ganesh Gopalakrishnan and Shaz Qadeer Computer Aided Verification -23rd International Conference, CAV 2011 Proceedings, pp.184-190, 2011.
DOI : 10.1007/978-3-540-31980-1_40

. Blm-+-01-]-gerd-behrmann, G. Kim, O. Larsen, A. Moller, P. David et al., Uppaal-present and future, Decision and Control Proceedings of the 40th IEEE Conference on, pp.2881-2886, 2001.

[. Burrows, The chubby lock service for loosely-coupled distributed systems, 7th Symposium on Operating Systems Design and Implementation (OSDI '06), pp.335-350, 2006.

P. Cousot, R. Cousot, J. Feret, L. Mauborgne, A. Miné et al., The ASTRE?? Analyzer, Programming Languages and Systems, 14th European Symposium on Programming,ESOP 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005 Proceedings, pp.21-30, 2005.
DOI : 10.1007/978-3-540-31987-0_3

K. Chaudhuri, D. Doligez, L. Lamport, and S. Merz, Verifying safety properties with the TLA+ proof system. CoRR, abs, 1011.
URL : https://hal.archives-ouvertes.fr/inria-00534821

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 (Amirandes, Heraclion , Crete), Part II Proceedings of the Twenty-Sixth Annual ACM Symposium on Principles of Distributed Computing, pp.128-142, 1988.
DOI : 10.1007/978-3-642-16561-0_18

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

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

H. M. Niels, . Aan-de-brugh, T. C. Viet-yen-nguyen, and . Ruys, Moonwalker : Verification of .net programs Tools and Algorithms for the Construction and Analysis of Systems, 15th International Conference, TACAS 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software Proceedings, volume 5505 of Lecture Notes in Computer Science, pp.170-173, 2009.

M. Diaz, J. Dufau, and R. Groz, Experiences using estelle within SEDOS estelle demonstrator, Proceedings of the IFIP TC/WG6. 1 Second International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols, pp.455-470, 1989.

W. Edsger and . Dijkstra, The structure of "the"-multiprogramming system, Commun . ACM, vol.11, issue.5, pp.341-346, 1968.

W. Edsger and . Dijkstra, Hierarchical ordering of sequential processes, Acta Inf, vol.1, pp.115-138, 1971.

[. 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 FORTE/FMOODS'2013, pp.146-160, 2013.
DOI : 10.1007/978-3-642-38592-6_11

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

[. 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

J. Fernandez and L. Mounier, ???On the fly??? verification of behavioural equivalences and preorders, Proceedings of the 3rd Workshop on Computer-Aided Verification, pp.181-191, 1991.
DOI : 10.1007/3-540-55179-4_18

H. Garavel, /. Open, and . Caesar, OPEN/C??SAR: An open software architecture for verification, simulation, and testing, Proceedings of the First International Conference on Tools and Algorithms for the Construction and Analysis of Systems TACAS'98, pp.68-84, 1998.
DOI : 10.1007/BFb0054165

+. Ggvb, R. Gao, G. Groz, J. Von-bochmann, E. Dargham et al., Validation of distributed algorithms and protocols, 1995 International Conference on Network Protocols, pp.110-117, 1995.

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 (STTT)GMS13] Hubert Garavel, Radu Mateescu, and Wendelin Serwe. Large-scale Distributed Verification using CADP : Beyond Clusters to Grids. Electronic Notes in Theoretical Computer Science, pp.89-107145, 2013.
DOI : 10.1007/s10009-012-0244-z

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

P. Godefroid, [. Garavel, C. Viho, and M. Zendri, Software model checking : The verisoft approach Formal Methods in System Design System design of a ccnuma multiprocessor architecture using formal specification, model-checking, co-simulation, and test generation Also available as INRIA Research Report RR-4041. [Han70] Per Brinch Hansen. The nucleus of a multiprogramming system, Hav68] J.W. Havender. Avoiding deadlock in multitasking systems. IBM systems journal, pp.77-101314, 1968.
DOI : 10.1007/11537328

S. Halle and A. Cohen, A Mutable Hardware Abstraction to Replace Threads, Languages and Compilers for Parallel Computing, 24th International Workshop, pp.185-202, 2011.
DOI : 10.1007/978-3-642-36036-7_13

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

[. Hunt, M. Konar, F. P. Junqueira, and B. Reed, Zookeeper : Wait-free coordination for internet-scale systems, 2010 USE- NIX Annual Technical ConferenceHoa85] C. A. R. Hoare. Communicating Sequential Processes, p.27, 1985.

J. Gerard and . Holzmann, Estelle ? a formal description technique based on an extended state transition model. International Standard 9074, International Organization for Standardization ? Information Processing Systems ? Open Systems Interconnection, LOTOS ? A Formal Description Technique Based on the Temporal Ordering of Observational Behaviour. International Standard 8807, International Organization for Standardization ? Information Processing Systems ? Open Systems InterconnectionISO01] ISO/IEC. Enhancements to LOTOS (E-LOTOS). International Standard 15437 :2001, International Organization for Standardization ? Information Technology, 1988.

C. Jard, J. Jourdan, V. Laporte, S. Blazy, X. Leroy et al., Echidna, an estelle compiler to prototype protocols on distributed computers. Concurrency -Practice and Experience A formally-verified C static analyzer, Proceedings of the 42nd Annual ACM SIGPLAN- SIGACT Symposium on Principles of Programming Languages, pp.377-397, 1992.

[. Joung and S. A. Smolka, Coordinating first-order multiparty interactions, ACM Transactions on Programming Languages and Systems, vol.16, issue.3, pp.954-985, 1994.
DOI : 10.1145/177492.177739

T. Q. Sung-shik, F. Jongmans, F. Santini, and . Arbab, Partiallydistributed coordination with reo, 22nd Euromicro International Conference on Parallel, Distributed, and Network-Based Processing, pp.697-706, 2014.

E. Donald and . Knuth, Literate programming, Comput. J, vol.27, issue.2, pp.97-111, 1984.

G. Katz and D. Peled, Code mutation in verification and automatic code correction In Tools and Algorithms for the Construction and Analysis of Systems, pp.435-450, 2010.

W. Brian, D. Kernighan, and . Ritchie, The C Programming Language, 1978.

]. D. Kum90 and . Kumar, An implementation of n-party synchronization using tokens, 10th International Conference on Distributed Computing Systems (ICDCS 1990), pp.320-327, 1990.

L. Lamport, Time, clocks, and the ordering of events in a distributed system, Communications of the ACM, vol.21, issue.7, pp.558-565, 1978.
DOI : 10.1145/359545.359563

L. Lamport, The part-time parliament, ACM Transactions on Computer Systems, vol.16, issue.2, pp.133-169, 1998.
DOI : 10.1145/279227.279229

[. Lang, Compositional Verification Using SVL Scripts, Proceedings of the 8th International Conference on Tools and Algorithms for the Construction and Analysis of Systems TACAS'2002 Proceedings of the 5th International Conference on Integrated Formal Methods IFM'2005, pp.465-469, 2002.
DOI : 10.1007/3-540-46002-0_33

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

A. José, . Mañas, J. Tomás-de-miguel, A. Salvachúa, and . Azcorra, Tool Support to Implement LOTOS Formal Specifications Computer Networks and ISDN Systems, Mil80] Robin Milner. A Calculus of Communicating SystemsMil89] Robin Milner. Communication and Concurrency, pp.815-839, 1980.

[. Milner, Communicating and Mobile Systems : the Pi-Calculus, 1999.

[. 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, pp.73-74, 2008.
DOI : 10.1109/MEMCOD.2008.4547690

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

M. Musuvathi and S. Qadeer, CHESS: Systematic Stress Testing of Concurrent Software, 16th International Symposium, LOPSTR 2006 Formal Techniques for Distributed Systems -Joint 13th IFIP WG 6.1 International Conference, FMOODS 2011, and 31st IFIP WG 6.1 International Conference Proceedings, volume 6722 of Lecture Notes in Computer Science, pp.15-16, 2006.
DOI : 10.1007/978-3-540-71410-1_2

[. Mateescu and W. Serwe, Model checking and performance evaluation with CADP illustrated on shared-memory mutual exclusion protocols, Science of Computer Programming, vol.78, issue.7, pp.843-861, 2013.
DOI : 10.1016/j.scico.2012.01.003

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

[. Mateescu and D. Thivolle, A Model Checking Language for Concurrent Value-Passing Systems, Proceedings of the 15th International Symposium on Formal Methods FM'08, pp.148-164, 2008.
DOI : 10.1007/978-3-540-68237-0_12

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

T. Nipkow and L. C. Paulson, Isabelle-91, 11th International Conference on Automated Deduction Proceedings, pp.673-676, 1992.
DOI : 10.1007/3-540-55602-8_201

M. Odersky, Essentials of scala, Langages et Modèles à Objets mars 2009, volume L-3 of RNTI, page 2. Cépaduès-Éditions, pp.25-27, 2009.

D. Ongaro, Consensus : Bridging Theory and Practice, 2014.

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

[. Park, Concurrency and automata on infinite sequences, Theoretical Computer Science, pp.167-183, 1981.
DOI : 10.1007/BFb0017309

J. Proenca, 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. Antonio-pérez, R. Corchuelo, and M. Toro, An order-based algorithm for implementing multiparty synchronization. Concurrency -Practice and Experience, pp.1173-1206, 2004.

K. Peters, U. Nestmann, and U. Goltz, On Distributability in Process Calculi, Programming Languages and Systems -22nd European Symposium on Programming, ESOP 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, pp.310-329, 2013.
DOI : 10.1007/978-3-642-37036-6_18

J. Parrow, P. Sjödin, [. Parrow, and P. Sjödin, Multiway synchronization verified with coupled simulation Designing a multiway synchronization protocol Synchrony vs causality in the asynchronous pi-calculus, CONCUR'92PSN11] Kirstin Peters, Jens-Wolfhard Schicke, and Uwe Nestmann Proceedings 18th International Workshop on Expressiveness in Concurrency, EXPRESS 2011, pp.518-5331151, 1992.

J. Quilbeuf, Distributed Implementations of Component-based Systems with Prioritized Multiparty Interactions, 2013.
URL : https://hal.archives-ouvertes.fr/tel-01168470

B. Fred, . [. Schneider, L. Sisto, A. Ciminiera, and . Valenzano, Implementing fault-tolerant services using the state machine approach : A tutorial A protocol for multirendezvous of LOTOS processes, ACM Computing Surveys (CSUR) Computers IEEE Transactions on, vol.22, issue.404, pp.299-319437, 1990.

A. Sharma, A refinement calculus for promela Contribution à la définition et à l'implémentation du langage " Extended LOTOS, Engineering of Complex Computer Systems (ICECCS), 2013 18th International Conference onSig99] Mihaela Sighireanu Thèse de Doctorat, pp.75-84, 1999.

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

S. Tucker and . Taft, Consolidated Ada Reference Manual : Language and Standard Libraries : International Standard ISO, E) with Technical Corrigendum, vol.8652, issue.2219, 1995.

J. Tapken and . Moby, Moby/plc ??? A design tool for hierarchical real-time automata, FASE, pp.326-329, 1998.
DOI : 10.1007/BFb0053601

D. Taubner, On the implementation of Petri nets, Lecture Notes in Computer Science, vol.340, pp.418-434, 1987.
DOI : 10.1007/3-540-50580-6_40

R. J. Van-glabbeek and W. P. Weijland, Branching-Time and Abstraction in Bisimulation Semantics (extended abstract). CS R8911, Centrum voor Wiskunde en Informatica, Also in proc. IFIP 11th World Computer Congress, 1989.

R. J. Van-glabbeek and W. P. Weijland, Branching time and abstraction in bisimulation semantics, Journal of the ACM, vol.43, issue.3, pp.555-600, 1996.
DOI : 10.1145/233551.233556

W. Visser, K. Havelund, G. Brat, and S. Park, Model checking programs, Proceedings ASE 2000. Fifteenth IEEE International Conference on Automated Software Engineering, pp.3-12, 2000.
DOI : 10.1109/ASE.2000.873645

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

T. [. Yasumoto, K. Higashino, and . 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