S. Basu, T. Bultan, and M. Ouederni, Deciding choreography realizability, 39th Symposium on Principles of Programming Languages, POPL '12, pp.191-202, 2012.

D. Brand and P. Zafiropulo, On communicating finite-state machines, Journal of the ACM, vol.30, issue.2, pp.323-342, 1983.

A. Brogi, C. Canal, E. Pimentel, and A. Vallecillo, Formalizing web service choreographies, Electronic Notes in Theoretical Computer Science, vol.105, pp.73-94, 2004.

B. Charron-bost, F. Mattern, and G. Tel, Synchronous, asynchronous, and causally ordered communication, Distributed Computing, vol.9, issue.4, pp.173-191, 1996.

F. Chevrou, Formalisation of Asynchronous Interactions, 2017.

F. Chevrou, A. Hurault, and P. Quéinnec, On the diversity of asynchronous communication, Formal Aspects of Computing, vol.28, issue.5, pp.847-879, 2016.
URL : https://hal.archives-ouvertes.fr/hal-01530410

F. Durán, M. Ouederni, and G. Salaün, A generic framework for n-protocol compatibility checking, Science of Computer Programming, vol.77, issue.7-8, pp.870-886, 2012.

J. J. Hickey, N. Lynch, and R. Van-renesse, Specifications and proofs for Ensemble layers, Fifth International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'99), vol.1579, pp.119-133, 1999.

G. J. Holzmann, The Spin Model Checker : Primer and Reference Manual, 2004.

A. D. Kshemkalyani and M. Singhal, Distributed Computing: Principles, Algorithms, and Systems, 2011.

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.

L. Lamport, Specifying Systems, 2002.

L. Lamport, The pluscal algorithm language, Theoretical Aspects of Computing -ICTAC 2009, 6th International Colloquium, vol.5684, pp.36-60, 2009.

X. Liu, C. Kreitz, R. Van-renesse, J. J. Hickey, M. Hayden et al., Building reliable, high-performance communication systems from components, 17 th ACM Symposium on Operating Systems Principles (SOSP'99), vol.33, pp.80-92, 1999.

R. Van-renesse, K. P. Birman, M. Hayden, A. Vaysburd, and D. Karr, Building adaptative systems using Ensemble. Software -Practice and Experience, vol.28, pp.963-979, 1998.

R. Van-renesse, K. P. Birman, and S. Maffeis, Horus: A flexible group communications system, Communications of the ACM, vol.39, issue.4, pp.76-83, 1996.

G. Tel, Introduction to Distributed Algorithms, 2000.