Deciding choreography realizability, 39th Symposium on Principles of Programming Languages, POPL '12, pp.191-202, 2012. ,
On communicating finite-state machines, Journal of the ACM, vol.30, issue.2, pp.323-342, 1983. ,
Formalizing web service choreographies, Electronic Notes in Theoretical Computer Science, vol.105, pp.73-94, 2004. ,
Synchronous, asynchronous, and causally ordered communication, Distributed Computing, vol.9, issue.4, pp.173-191, 1996. ,
Formalisation of Asynchronous Interactions, 2017. ,
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
A generic framework for n-protocol compatibility checking, Science of Computer Programming, vol.77, issue.7-8, pp.870-886, 2012. ,
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. ,
The Spin Model Checker : Primer and Reference Manual, 2004. ,
, Distributed Computing: Principles, Algorithms, and Systems, 2011.
Time, clocks and the ordering of events in a distributed system, Communications of the 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, 17 th ACM Symposium on Operating Systems Principles (SOSP'99), vol.33, pp.80-92, 1999. ,
Building adaptative systems using Ensemble. Software -Practice and Experience, vol.28, pp.963-979, 1998. ,
Horus: A flexible group communications system, Communications of the ACM, vol.39, issue.4, pp.76-83, 1996. ,
Introduction to Distributed Algorithms, 2000. ,