Offer semantics: Achieving compositionality, flattening and full expressiveness for the glue operators in BIP, Science of Computer Programming, vol.109, pp.2-35, 2015. ,
Correction to: Expressiveness of component-based frameworks: a study of the expressiveness of BIP, Acta Informatica, vol.57, issue.6, pp.829-829, 2019. ,
Global Types for Open Systems, Electronic Proceedings in Theoretical Computer Science, vol.279, pp.4-20, 2018. ,
Connecting open systems of communicating finite state machines, Journal of Logical and Algebraic Methods in Programming, vol.109, p.100476, 2019. ,
Composition and decomposition of multiparty sessions, Journal of Logical and Algebraic Methods in Programming, vol.119, p.100620, 2021. ,
Choreography Automata, Lecture Notes in Computer Science, pp.86-106, 2020. ,
Deciding choreography realizability, ACM SIGPLAN Notices, vol.47, issue.1, pp.191-202, 2012. ,
D-Finder 2: Towards Efficient Correctness of Incremental Design, Lecture Notes in Computer Science, pp.453-458, 2011. ,
Rachelle Springer Winter 2010, Plastic Surgical Nursing, vol.31, issue.1, pp.21-22, 2011. ,
The algebra of connectors, Proceedings of the 7th ACM & IEEE international conference on Embedded software - EMSOFT '07, 2007. ,
URL : https://hal.archives-ouvertes.fr/hal-00282866
On Communicating Finite-State Machines, Journal of the ACM, vol.30, issue.2, pp.323-342, 1983. ,
Data-Driven Choreographies à la Klaim, Models, Languages, and Tools for Concurrent and Distributed Programming, vol.11665, pp.170-190, 2019. ,
, , 2019.
Choreographies, logically, Distributed Computing, vol.31, issue.1, pp.51-67, 2017. ,
URL : https://hal.archives-ouvertes.fr/hal-01090741
Verification of programs with half-duplex communication, Information and Computation, vol.202, issue.2, pp.166-190, 2005. ,
Global progress for dynamically interleaved multiparty sessions, Mathematical Structures in Computer Science, vol.26, issue.2, pp.238-302, 2014. ,
URL : https://hal.archives-ouvertes.fr/hal-01486034
Interface automata, ACM SIGSOFT Software Engineering Notes, vol.26, issue.5, pp.109-120, 2001. ,
Proving liveness for networks of communicating finite state machines, ACM Transactions on Programming Languages and Systems, vol.8, issue.1, pp.154-180, 1986. ,
Foundations of Session Types and Behavioural Contracts, ACM Computing Surveys, vol.49, issue.1, pp.1-36, 2016. ,
A partially deadlock-free typed process calculus, ACM Transactions on Programming Languages and Systems, vol.20, issue.2, pp.436-482, 1998. ,
Type-based information flow analysis for the ?-calculus, Acta Informatica, vol.42, issue.4-5, pp.291-347, 2005. ,
From Communicating Machines to Graphical Choreographies, ACM SIGPLAN Notices, vol.50, issue.1, pp.221-232, 2015. ,
Hierarchical correctness proofs for distributed algorithms, Proceedings of the sixth annual ACM Symposium on Principles of distributed computing - PODC '87, pp.137-151, 1987. ,
Compositional Choreographies, CONCUR 2013 ? Concurrency Theory, vol.8052, pp.425-439, 2013. ,
URL : https://hal.archives-ouvertes.fr/hal-00909321
Typing Liveness in Multiparty Communicating Systems, Lecture Notes in Computer Science, vol.8459, pp.147-162, 2014. ,
URL : https://hal.archives-ouvertes.fr/hal-00960879
Analysis of a class of communicating finite state machines, Acta Informatica, vol.29, issue.6-7, pp.499-522, 1992. ,
A type language for message passing component-based systems, Electronic Proceedings in Theoretical Computer Science, vol.324, pp.3-24, 2020. ,
Team automata satisfying compositionality, FME 2003: Formal Methods, pp.381-400, 2003. ,
Semantics of global view of choreographies, Journal of Logical and Algebraic Methods in Programming, vol.95, pp.17-40, 2018. ,