Inference of message sequence charts, IEEE Transactions on Software Engineering, vol.29, issue.7, pp.623-633, 2003. ,
Testing in the API Economy, Top 5 Myths ,
Choreography Realizability Enforcement through the Automatic Synthesis of Distributed Coordination Delegates, Science of Computer Programming, vol.160, pp.3-29, 2018. ,
CHOReOSynt: enforcing choreography realizability in the future internet, Proceedings of the 22nd ACM SIGSOFT International Symposium on Foundations of Software Engineering - FSE 2014, pp.723-726, 2014. ,
CHOReVOLUTION: Automating the Realization of Highly?Collaborative Distributed Applications, Lecture Notes in Computer Science, pp.92-108, 2019. ,
URL : https://hal.archives-ouvertes.fr/hal-02365501
Connecting open systems of communicating finite state machines, Journal of Logical and Algebraic Methods in Programming, vol.109, p.100476, 2019. ,
Choreography Automata, Lecture Notes in Computer Science, pp.86-106, 2020. ,
URL : https://hal.archives-ouvertes.fr/hal-03005377
Automated Choreography Repair, Fundamental Approaches to Software Engineering, vol.9633, pp.13-30, 2016. ,
Deciding choreography realizability, Proceedings of the 39th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '12, pp.191-202, 2012. ,
Amending Contracts for Choreographies, Electronic Proceedings in Theoretical Computer Science, vol.59, pp.111-129, 2011. ,
Three Algorithms and a Methodology for Amending Contracts for Choreographies, Scientific Annals of Computer Science, vol.22, issue.1, pp.61-104, 2012. ,
Reactive Microsystems -The Evolution Of Microservices At Scale, 2018. ,
On Communicating Finite-State Machines, Journal of the ACM, vol.30, issue.2, pp.323-342, 1983. ,
Software Composition, Software Composition, 6th International Symposium, vol.4829, pp.34-50, 2007. ,
Specification of realizable service conversations using collaboration diagrams, Service Oriented Computing and Applications, vol.2, issue.1, pp.27-39, 2008. ,
Conversation specification, Proceedings of the twelfth international conference on World Wide Web - WWW '03, pp.403-410, 2003. ,
Structured Communication-Centred Programming for Web Services, Programming Languages and Systems, vol.4421, pp.2-17, 2007. ,
Deadlock-freedom-by-design, ACM SIGPLAN Notices, vol.48, issue.1, pp.263-274, 2013. ,
URL : https://hal.archives-ouvertes.fr/hal-00909320
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, Proceedings of the 8th European Software Engineering Conference held jointly with 9th ACM SIGSOFT International Symposium on Foundations of Software Engineering, pp.109-120, 2001. ,
Dynamic multirole session types, ACM SIGPLAN Notices, vol.46, issue.1, pp.435-446, 2011. ,
Programming Languages and Systems, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, vol.7211, pp.194-213, 2012. ,
Communicating Finite-State Machines, Formal Models of Communicating Systems, vol.122, pp.117-150 ,
URL : https://hal.archives-ouvertes.fr/hal-01474722
Reversible Choreographies via Monitoring in Erlang, Distributed Applications and Interoperable Systems, vol.10853, pp.75-92, 2018. ,
URL : https://hal.archives-ouvertes.fr/hal-01824635
Conversation Protocols: A Formalism for Specification and Verification of Reactive Electronic Services, Implementation and Application of Automata, vol.2759, pp.188-200, 2003. ,
Y, Springer Klinisches Wörterbuch, pp.2003-2003 ,
Conversation protocols: a formalism for specification and verification of reactive electronic services, Theoretical Computer Science, vol.328, issue.1-2, pp.19-37, 2004. ,
Multiparty asynchronous session types, ACM SIGPLAN Notices, vol.43, issue.1, pp.273-284, 2008. ,
Multiparty Asynchronous Session Types, Journal of the ACM, vol.63, issue.1, pp.1-67, 2016. ,
Foundations of Session Types and Behavioural Contracts, ACM Computing Surveys, vol.49, issue.1, pp.1-36, 2016. ,
Web services choreography description language version 1.0, vol.3, 2005. ,
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. ,
Checking business process evolution, Science of Computer Programming, vol.170, pp.1-26, 2019. ,
URL : https://hal.archives-ouvertes.fr/hal-01920273
Bridging the Gap between Interaction- and Process-Oriented Choreographies, 2008 Sixth IEEE International Conference on Software Engineering and Formal Methods, pp.323-332, 2008. ,
Amending Choreographies, Electronic Proceedings in Theoretical Computer Science, vol.123, pp.34-48, 2013. ,
URL : https://hal.archives-ouvertes.fr/hal-00909305
From Communicating Machines to Graphical Choreographies, ACM SIGPLAN Notices, vol.50, issue.1, pp.221-232, 2015. ,
Safe Realizability of High-Level Message Sequence Charts*, CONCUR 2002 ? Concurrency Theory, pp.177-192, 2002. ,
Choreographic Programming, 2013. ,
URL : https://hal.archives-ouvertes.fr/hal-01658417
Business Process Modeling Notation BPMN CORE NOTATION, Business Process Change, pp.513-516, 2007. ,
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
Three Partition Refinement Algorithms, SIAM Journal on Computing, vol.16, issue.6, pp.973-989, 1987. ,
Developing correct, distributed, adaptive software, Science of Computer Programming, vol.97, issue.2, pp.41-46, 2015. ,
URL : https://hal.archives-ouvertes.fr/hal-01227610
Towards the theoretical foundation of choreography ,
, Proceedings of the 16th International Conference on World Wide Web, pp.973-982, 2007.
Less is more: multiparty session types revisited, Proceedings of the ACM on Programming Languages, vol.3, issue.POPL, pp.1-29, 2019. ,
Observational Equivalence for Multiparty Sessions, Fundamenta Informaticae, vol.170, issue.1-3, pp.267-305, 2019. ,
On Sessions and Infinite Data, Lecture Notes in Computer Science, vol.13, pp.245-261, 2016. ,
URL : https://hal.archives-ouvertes.fr/hal-01631727
Semantics of global view of choreographies, Journal of Logical and Algebraic Methods in Programming, vol.95, pp.17-40, 2018. ,