D. Champelovier, X. Clerc, and H. Garavel, Reference manual of the LNT to LOTOS translator (version 6, p.2014

I. Iec, LOTOS ? a formal description technique based on the temporal ordering of observational behaviour, International Organization for Standardization, Standard, vol.8807, 1989.

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

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, Reflections on the Future of Concurrency Theory in General and Process Calculi in Particular, Proc. of LIX Coll. on Emerging Trends in Concurrency Theory. ENTCS, 2008.
DOI : 10.1016/j.entcs.2008.04.009

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

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

D. Ongaro and J. Ousterhout, In search of an understandable consensus algorithm, USENIX ATC, 2014.

G. Berry, SCADE: Synchronous design and validation of embedded control software, " in Next Generation Design and Verification Methodologies for Distributed Embedded Control Systems, 2007.

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

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 journal, vol.3, issue.3, pp.314-331, 2001.
URL : https://hal.archives-ouvertes.fr/inria-00072597

G. Behrmann, K. G. Larsen, and O. Moller, UPPAAL-present and future TIMES: a tool for schedulability analysis and code generation of real-time systems, Decision and Control Formal Modeling and Analysis of Timed Systems, 2001.

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

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

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

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

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, 2014.
DOI : 10.1109/PDP.2014.19

M. Carbone and F. Montesi, Deadlock-freedom-by-design: multiparty asynchronous global programming, Proc. of POPL, ACM, 2013.
URL : https://hal.archives-ouvertes.fr/hal-00909320

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

S. Bensalem, A. Griesmayer, A. Legay, T. Nguyen, J. Sifakis et al., D-Finder 2: Towards Efficient Correctness of Incremental Design, Proc. of NASA Formal Methods, 2011.
DOI : 10.1109/MS.1985.230351

J. Misra and K. Chandy, Parallel program design: a foundation, 1988.

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. Bochmann, Q. Gao, and C. Wu, On the distributed implementation of LOTOS, Proc. of FORTE, 1989.

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, 1992.

H. Evrard and F. Lang, Formal Verification of Distributed Branching Multiway Synchronization Protocols, Proc. of FORTE/FMOODS, 2013.
DOI : 10.1007/978-3-642-38592-6_11

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

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

G. Katz and D. Peled, Code Mutation in Verification and Automatic Code Correction, Proc. of TACAS, 2010.
DOI : 10.1007/978-3-642-12002-2_36

E. W. Dijkstra, Guarded commands, nondeterminacy and formal derivation of programs, Comm. of the ACM, vol.18, issue.8, 1975.

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

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

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

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

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

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

M. Sighireanu, ContributionàContribution`Contributionà la définition etàet`età l'implémentation du langage Extended LOTOS, 1999.

E. Lantreibecq and W. Serwe, Model Checking and Co-simulation of a Dynamic Task Dispatcher Circuit Using CADP, Proc. of FMICS, 2011.
DOI : 10.1007/978-3-642-24431-5_14

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