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

M. Carbone and F. Montesi, Deadlock-freedom-by-design: multiparty asynchronous global programming, POPL, pp.263-274, 2013.
URL : https://hal.archives-ouvertes.fr/hal-00909320

W. Group, WS-CDL version 1.0, 2004.

, Business Process Model and Notation

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.
DOI : 10.1109/SEFM.2008.11

S. Basu, T. Bultan, and M. Ouederni, Deciding choreography realizability, POPL, pp.191-202, 2012.

K. Honda, A. Mukhamedov, G. Brown, T. Chen, and N. Yoshida, Scribbling Interactions with a Formal Foundation, ICDCIT, pp.55-75, 2011.
DOI : 10.1007/978-3-642-04167-9_12
URL : http://www.doc.ic.ac.uk/%7Eyoshida/paper/Scribble10.pdf

M. D. Preda, M. Gabbrielli, S. Giallorenzo, I. Lanese, and J. Mauro, Dynamic choreographies, COORDINATION, pp.67-82, 2015.
URL : https://hal.archives-ouvertes.fr/hal-01631394

, Pi4soa, 2008.

J. Community and . Savara,

, Chor Programming Language

, AIOCJ framework

K. Honda, N. Yoshida, and M. Carbone, Multiparty asynchronous session types, Journal of the ACM (JACM), vol.63, issue.1, p.9, 2016.

M. Carbone, K. Honda, and N. Yoshida, Structured Communication-Centered Programming for Web Services, ACM Transactions on Programming Languages and Systems, vol.34, issue.2, pp.1-878, 2012.
DOI : 10.1145/2220365.2220367

M. Carbone, F. Montesi, and C. Schürmann, Choreographies, logically, Distributed Computing, pp.51-67, 2018.
URL : https://hal.archives-ouvertes.fr/hal-01090741

M. Carbone, F. Montesi, C. Schürmann, and N. Yoshida, Multiparty session types as coherence proofs, Acta Informatica, vol.24, issue.2???3, pp.243-269, 2017.
DOI : 10.1017/S095679681400001X
URL : https://hal.archives-ouvertes.fr/hal-01231453

Z. Qiu, X. Zhao, C. Cai, and H. Yang, Towards the theoretical foundation of choreography, Proceedings of the 16th international conference on World Wide Web , WWW '07, pp.973-982, 2007.
DOI : 10.1145/1242572.1242704

R. Milner, A Calculus of Communicating Systems, LNCS, vol.92, 1980.
DOI : 10.1007/3-540-10235-3

R. Milner, J. Parrow, and D. Walker, A calculus of mobile processes, II, Information and Computation, vol.100, issue.1, pp.1-4041, 1992.
DOI : 10.1016/0890-5401(92)90009-5

S. Giallorenzo, Real-World Choreographies, 2016.
URL : https://hal.archives-ouvertes.fr/tel-01336757

O. Ws-bpel, , 2007.

M. Gabbrielli, S. Giallorenzo, and F. Montesi, Applied choreographies, 2018.
URL : https://hal.archives-ouvertes.fr/hal-01824812

F. Montesi and N. Yoshida, Compositional Choreographies, CONCUR, pp.425-439, 2013.
DOI : 10.1007/978-3-642-40184-8_30
URL : https://hal.archives-ouvertes.fr/hal-00909321

D. Sangiorgi and D. Walker, The ?-calculus: a Theory of Mobile Processes, 2001.

B. C. Pierce, Types and Programming Languages, 2002.

M. Coppo, M. Dezani-ciancaglini, N. Yoshida, and L. Padovani, Global progress for dynamically interleaved multiparty sessions, Mathematical Structures in Computer Science, vol.8, issue.02, pp.238-302, 2016.
DOI : 10.1007/978-3-642-40184-8_30
URL : https://hal.archives-ouvertes.fr/hal-01486034

F. Montesi and M. Carbone, Programming Services with Correlation Sets, ICSOC, pp.125-141, 2011.
DOI : 10.1109/ECOWS.2007.19

F. Montesi, C. Guidi, and G. Zavattaro, Service-Oriented Programming with Jolie, Web Services Foundations, pp.81-107, 2014.
DOI : 10.1007/978-1-4614-7518-7_4
URL : https://hal.archives-ouvertes.fr/hal-00909323

M. D. Preda, S. Giallorenzo, I. Lanese, J. Mauro, and M. Gabbrielli, AIOCJ: A choreographic framework for safe adaptive distributed applications, SLE, pp.161-170, 2014.
URL : https://hal.archives-ouvertes.fr/hal-01089187

R. Hu, N. Yoshida, and K. Honda, Session-Based Distributed Programming in Java, ECOOP, pp.516-541, 2008.
DOI : 10.1007/978-3-540-70592-5_22
URL : http://www.doc.ic.ac.uk/~rh105/sessionj/hu07session-based.pdf

R. Demangeon, K. Honda, R. Hu, R. Neykova, and N. Yoshida, Practical interruptible conversations: distributed dynamic verification with multiparty session types and Python, Formal Methods in System Design, vol.9, issue.3, pp.197-225, 2015.
DOI : 10.1007/978-3-540-71103-2_10
URL : https://hal.archives-ouvertes.fr/hal-01146168

R. Neykova and N. Yoshida, Multiparty session actors, Logical Methods in Computer Science, vol.13, issue.1, 2017.
DOI : 10.4204/eptcs.155.5
URL : https://hal.archives-ouvertes.fr/hal-01290073