R. Alur, K. Etessami, and M. Yannakakis, Inference of message sequence charts, IEEE Transactions on Software Engineering, vol.29, issue.7, pp.623-633, 2003.

W. Ariola and C. Dunlop, Testing in the API Economy, Top 5 Myths

M. Autili, P. Inverardi, and M. Tivoli, Choreography Realizability Enforcement through the Automatic Synthesis of Distributed Coordination Delegates, Science of Computer Programming, vol.160, pp.3-29, 2018.

M. Autili, D. Di-ruscio, A. Di-salle, and A. Perucci, 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.

M. Autili, A. Di-salle, F. Gallo, C. Pompilio, and M. Tivoli, 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

F. Barbanera, U. De'liguoro, and R. Hennicker, Connecting open systems of communicating finite state machines, Journal of Logical and Algebraic Methods in Programming, vol.109, p.100476, 2019.

F. Barbanera, I. Lanese, and E. Tuosto, Choreography Automata, Lecture Notes in Computer Science, pp.86-106, 2020.
URL : https://hal.archives-ouvertes.fr/hal-03005377

S. Basu and T. Bultan, Automated Choreography Repair, Fundamental Approaches to Software Engineering, vol.9633, pp.13-30, 2016.

S. Basu, T. Bultan, and M. Ouederni, Deciding choreography realizability, Proceedings of the 39th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '12, pp.191-202, 2012.

L. Bocchi, J. Lange, and E. Tuosto, Amending Contracts for Choreographies, Electronic Proceedings in Theoretical Computer Science, vol.59, pp.111-129, 2011.

L. Bocchi, J. Lange, and E. Tuosto, Three Algorithms and a Methodology for Amending Contracts for Choreographies, Scientific Annals of Computer Science, vol.22, issue.1, pp.61-104, 2012.

J. Bonér, Reactive Microsystems -The Evolution Of Microservices At Scale, 2018.

D. Brand and P. Zafiropulo, On Communicating Finite-State Machines, Journal of the ACM, vol.30, issue.2, pp.323-342, 1983.

M. Bravetti and G. Zavattaro, Software Composition, Software Composition, 6th International Symposium, vol.4829, pp.34-50, 2007.

T. Bultan and X. Fu, Specification of realizable service conversations using collaboration diagrams, Service Oriented Computing and Applications, vol.2, issue.1, pp.27-39, 2008.

T. Bultan, X. Fu, R. Hull, and J. Su, Conversation specification, Proceedings of the twelfth international conference on World Wide Web - WWW '03, pp.403-410, 2003.

M. Carbone, K. Honda, and N. Yoshida, Structured Communication-Centred Programming for Web Services, Programming Languages and Systems, vol.4421, pp.2-17, 2007.

M. Carbone and F. Montesi, Deadlock-freedom-by-design, ACM SIGPLAN Notices, vol.48, issue.1, pp.263-274, 2013.
URL : https://hal.archives-ouvertes.fr/hal-00909320

G. Cécé and A. Finkel, Verification of programs with half-duplex communication, Information and Computation, vol.202, issue.2, pp.166-190, 2005.

M. Coppo, M. Dezani-ciancaglini, N. Yoshida, and L. Padovani, 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

T. A. Luca-de-alfaro and . Henzinger, 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.

P. Deniélou and N. Yoshida, Dynamic multirole session types, ACM SIGPLAN Notices, vol.46, issue.1, pp.435-446, 2011.

P. Deniélou and N. Yoshida, 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.

A. Finkel and . Lozes, Communicating Finite-State Machines, Formal Models of Communicating Systems, vol.122, pp.117-150
URL : https://hal.archives-ouvertes.fr/hal-01474722

A. Francalanza, C. A. Mezzina, and E. Tuosto, 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

X. Fu, T. Bultan, and J. Su, Conversation Protocols: A Formalism for Specification and Verification of Reactive Electronic Services, Implementation and Application of Automata, vol.2759, pp.188-200, 2003.

. Springer, Y, Springer Klinisches Wörterbuch, pp.2003-2003

X. Fu, T. Bultan, and J. Su, Conversation protocols: a formalism for specification and verification of reactive electronic services, Theoretical Computer Science, vol.328, issue.1-2, pp.19-37, 2004.

K. Honda, N. Yoshida, and M. Carbone, Multiparty asynchronous session types, ACM SIGPLAN Notices, vol.43, issue.1, pp.273-284, 2008.

K. Honda, N. Yoshida, and M. Carbone, Multiparty Asynchronous Session Types, Journal of the ACM, vol.63, issue.1, pp.1-67, 2016.

H. Hüttel, I. Lanese, V. T. Vasconcelos, L. Caires, M. Carbone et al., Foundations of Session Types and Behavioural Contracts, ACM Computing Surveys, vol.49, issue.1, pp.1-36, 2016.

N. Kavantzas, D. Burdett, G. Ritzinger, T. Fletcher, Y. Lafon et al., Web services choreography description language version 1.0, vol.3, 2005.

N. Kobayashi, A partially deadlock-free typed process calculus, ACM Transactions on Programming Languages and Systems, vol.20, issue.2, pp.436-482, 1998.

N. Kobayashi, Type-based information flow analysis for the ?-calculus, Acta Informatica, vol.42, issue.4-5, pp.291-347, 2005.

A. Krishna, P. Poizat, and G. Salaün, Checking business process evolution, Science of Computer Programming, vol.170, pp.1-26, 2019.
URL : https://hal.archives-ouvertes.fr/hal-01920273

I. Lanese, C. Guidi, F. Montesi, and G. Zavattaro, Bridging the Gap between Interaction- and Process-Oriented Choreographies, 2008 Sixth IEEE International Conference on Software Engineering and Formal Methods, pp.323-332, 2008.

I. Lanese, F. Montesi, and G. Zavattaro, Amending Choreographies, Electronic Proceedings in Theoretical Computer Science, vol.123, pp.34-48, 2013.
URL : https://hal.archives-ouvertes.fr/hal-00909305

J. Lange, E. Tuosto, and N. Yoshida, From Communicating Machines to Graphical Choreographies, ACM SIGPLAN Notices, vol.50, issue.1, pp.221-232, 2015.

M. Lohrey, Safe Realizability of High-Level Message Sequence Charts*, CONCUR 2002 ? Concurrency Theory, pp.177-192, 2002.

F. Montesi, Choreographic Programming, 2013.
URL : https://hal.archives-ouvertes.fr/hal-01658417

. Omg and . Business, Business Process Modeling Notation BPMN CORE NOTATION, Business Process Change, pp.513-516, 2007.

L. Padovani, V. T. Vasconcelos, and H. T. Vieira, 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

R. Paige and R. E. Tarjan, Three Partition Refinement Algorithms, SIAM Journal on Computing, vol.16, issue.6, pp.973-989, 1987.

M. Dalla-preda, M. Gabbrielli, S. Giallorenzo, I. Lanese, and J. Mauro, 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

Z. Qiu, X. Zhao, C. Cai, and H. Yang, Towards the theoretical foundation of choreography

P. J. Patel-schneider and . Shenoy, Proceedings of the 16th International Conference on World Wide Web, pp.973-982, 2007.

A. Scalas and N. Yoshida, Less is more: multiparty session types revisited, Proceedings of the ACM on Programming Languages, vol.3, issue.POPL, pp.1-29, 2019.

P. Severi and M. Dezani-ciancaglini, Observational Equivalence for Multiparty Sessions, Fundamenta Informaticae, vol.170, issue.1-3, pp.267-305, 2019.

P. Severi, L. Padovani, E. Tuosto, and M. Dezani-ciancaglini, On Sessions and Infinite Data, Lecture Notes in Computer Science, vol.13, pp.245-261, 2016.
URL : https://hal.archives-ouvertes.fr/hal-01631727

E. Tuosto and R. Guanciale, Semantics of global view of choreographies, Journal of Logical and Algebraic Methods in Programming, vol.95, pp.17-40, 2018.