R. Allen and D. Garlan, Formalizing architectural connection, 16th International Conference on Software Engineering, ICSE '94, pp.71-80, 1994.

R. Alur and G. J. Holzmann, Doron Peled, An analyzer for message sequence charts, International Workshop on Tools and Algorithms for the Construction and Analysis of Systems, in: LNCS, vol.1055, pp.35-48, 1996.

A. Aldini, Modeling and verification of trust and reputation systems, Secur. Commun. Netw, vol.8, issue.16, pp.2933-2946, 2015.

C. M. Jos, J. A. Baeten, and . Bergstra, Willem Klop, Syntax and defining equations for an interrupt mechanism in process algebra, Fundam. Inform. IX, pp.127-168, 1986.

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

A. Brogi, C. Canal, E. Pimentel, and A. Vallecillo, Formalizing web service choreographies, Electron. Notes Theor. Comput. Sci, vol.105, pp.73-94, 2004.

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

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

B. Charron-bost and A. Schiper, The heard-of model: computing in distributed systems with benign faults, Distrib. Comput, vol.22, issue.1, pp.49-71, 2009.

R. Cleaveland and M. Hennessy, Priorities in process algebras, Inf. Comput, vol.87, issue.1/, pp.58-77, 1990.

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

F. Chevrou, A. Hurault, and P. Quéinnec, TLA + modules for a modular framework for verifying versatile distributed systems, 2019.

J. Camilleri and G. Winskel, CCS with priority choice, Inf. Comput, vol.116, issue.1, pp.26-37, 1995.

C. Dr?goi and T. A. Henzinger, Damien Zufferey Psync, A partially synchronous language for fault-tolerant distributed algorithms, 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL '16, pp.400-415, 2016.

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

A. Engels, S. Mauw, and M. A. Reniers, A hierarchy of communication models for message sequence charts, Sci. Comput. Program, vol.44, issue.3, pp.253-292, 2002.

D. Garlan, R. Monroe, and D. W. Acme, An architecture description interchange language, CASCON'97, pp.169-183, 1997.

J. J. Hickey and N. Lynch, Robbert van Renesse, Specifications and proofs for Ensemble layers, Fifth International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'99), in: LNCS, vol.1579, pp.119-133, 1999.

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

M. and E. C. Hull, Occam -a programming language for multiprocessor systems, Comput. Lang, vol.12, issue.1, pp.27-37, 1987.

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, Commun. 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, 17th ACM Symposium on Operating Systems Principles (SOSP'99), vol.33, pp.80-92, 1999.

X. Li, J. Misra, and C. G. Plaxton, Active and concurrent topology maintenance, Distributed Computing, 18th International Conference, vol.3274, pp.320-334, 2004.

N. A. Lynch, Distributed Algorithms, 1996.

S. Mauw and M. A. Reniers, An algebraic semantics of basic message sequence charts, Comput. J, vol.37, issue.4, pp.269-277, 1994.

R. Van-renesse, K. P. Birman, M. Hayden, A. Vaysburd, and D. Karr, Building adaptive systems using Ensemble, Softw. Pract. Exp, vol.28, issue.9, pp.963-979, 1998.

R. Van-renesse and K. P. Birman, Silvano Maffeis Horus, A flexible group communications system, Commun. ACM, vol.39, issue.4, pp.76-83, 1996.

A. Segall, Distributed network protocols, IEEE Trans. Inf. Theory, vol.29, issue.1, pp.23-35, 1983.

G. Tel, Introduction to Distributed Algorithms, 2000.

R. N. Taylor, N. Medvidovic, K. M. Anderson, E. J. Whitehead, J. E. Robbins et al., A component-and message-based architectural style for GUI software, IEEE Trans. Softw. Eng, vol.22, issue.6, pp.390-406, 1996.

J. R. Wilcox, D. Woos, P. Panchekha, Z. Tatlock, X. Wang et al., A framework for implementing and formally verifying distributed system, 36th ACM Conference on Programming Language Design and Implementation, pp.357-368, 2015.