Formalizing architectural connection, 16th International Conference on Software Engineering, ICSE '94, pp.71-80, 1994. ,
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. ,
Modeling and verification of trust and reputation systems, Secur. Commun. Netw, vol.8, issue.16, pp.2933-2946, 2015. ,
Willem Klop, Syntax and defining equations for an interrupt mechanism in process algebra, Fundam. Inform. IX, pp.127-168, 1986. ,
Deciding choreography realizability, 39th Symposium on Principles of Programming Languages, pp.191-202, 2012. ,
Formalizing web service choreographies, Electron. Notes Theor. Comput. Sci, vol.105, pp.73-94, 2004. ,
On communicating finite-state machines, J. ACM, vol.30, issue.2, pp.323-342, 1983. ,
Synchronous, asynchronous, and causally ordered communication, Distrib. Comput, vol.9, issue.4, pp.173-191, 1996. ,
The heard-of model: computing in distributed systems with benign faults, Distrib. Comput, vol.22, issue.1, pp.49-71, 2009. ,
Priorities in process algebras, Inf. Comput, vol.87, issue.1/, pp.58-77, 1990. ,
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
TLA + modules for a modular framework for verifying versatile distributed systems, 2019. ,
CCS with priority choice, Inf. Comput, vol.116, issue.1, pp.26-37, 1995. ,
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. ,
A generic framework for n-protocol compatibility checking, Sci. Comput. Program, vol.77, issue.7-8, pp.870-886, 2012. ,
A hierarchy of communication models for message sequence charts, Sci. Comput. Program, vol.44, issue.3, pp.253-292, 2002. ,
An architecture description interchange language, CASCON'97, pp.169-183, 1997. ,
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. ,
The Spin Model Checker: Primer and Reference Manual, 2004. ,
Occam -a programming language for multiprocessor systems, Comput. Lang, vol.12, issue.1, pp.27-37, 1987. ,
, Distributed Computing: Principles, Algorithms, and Systems, 2011.
Time, clocks and the ordering of events in a distributed system, Commun. ACM, vol.21, issue.7, pp.558-565, 1978. ,
, Specifying Systems, 2002.
The PlusCal algorithm language, Theoretical Aspects of Computing -ICTAC 2009, 6th International Colloquium, vol.5684, pp.36-60, 2009. ,
Building reliable, high-performance communication systems from components, 17th ACM Symposium on Operating Systems Principles (SOSP'99), vol.33, pp.80-92, 1999. ,
Active and concurrent topology maintenance, Distributed Computing, 18th International Conference, vol.3274, pp.320-334, 2004. ,
Distributed Algorithms, 1996. ,
An algebraic semantics of basic message sequence charts, Comput. J, vol.37, issue.4, pp.269-277, 1994. ,
Building adaptive systems using Ensemble, Softw. Pract. Exp, vol.28, issue.9, pp.963-979, 1998. ,
Silvano Maffeis Horus, A flexible group communications system, Commun. ACM, vol.39, issue.4, pp.76-83, 1996. ,
Distributed network protocols, IEEE Trans. Inf. Theory, vol.29, issue.1, pp.23-35, 1983. ,
, Introduction to Distributed Algorithms, 2000.
A component-and message-based architectural style for GUI software, IEEE Trans. Softw. Eng, vol.22, issue.6, pp.390-406, 1996. ,
A framework for implementing and formally verifying distributed system, 36th ACM Conference on Programming Language Design and Implementation, pp.357-368, 2015. ,