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, p.8, 2012.
DOI : 10.1145/2220365.2220367

M. Carbone, S. Lindley, F. Montesi, C. Schürmann, and P. Wadler, Coherence generalises duality: A logical explanation of multiparty session types, CONCUR, volume 59 of LIPIcs, pp.1-3315, 2016.
URL : https://hal.archives-ouvertes.fr/hal-01336600

M. Carbone and F. Montesi, Deadlock-freedom-by-design: multiparty asynchronous global programming, POPL, pp.263-274, 2013.
DOI : 10.1145/2429069.2429101

URL : https://hal.archives-ouvertes.fr/hal-00909320

M. Carbone, F. Montesi, C. Schürmann, and N. Yoshida, Multiparty session types as coherence proofs, Acta Informatica, vol.24, issue.2???3, 2017.
DOI : 10.1017/S095679681400001X

URL : https://hal.archives-ouvertes.fr/hal-01231453

. Chor, Programming Language

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

L. Cruz-filipe and F. Montesi, Choreographies in Practice, LNCS, vol.9, issue.3???4, pp.114-123, 2016.
DOI : 10.1007/978-3-642-12032-9_10

URL : https://hal.archives-ouvertes.fr/hal-01432931

L. Cruz-filipe and F. Montesi, A language for the declarative composition of concurrent protocols, 1602.

L. Cruz-filipe and F. Montesi, A Core Model for Choreographic Programming, FACS 2016, 2017.
DOI : 10.2307/2268280

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

R. Demangeon and K. Honda, Nested Protocols in Session Types, In CONCUR, pp.272-286, 2012.
DOI : 10.1007/978-3-642-32940-1_20

P. Deniélou and N. Yoshida, Dynamic multirole session types, POPL, pp.435-446, 2011.

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

K. Honda, V. Vasconcelos, and M. Kubo, Language primitives and type discipline for structured communication-based programming, ESOP, pp.122-138, 1998.
DOI : 10.1007/BFb0053567

K. Honda, N. Yoshida, and M. Carbone, Multiparty Asynchronous Session Types, J. ACM, vol.63, issue.1, p.9, 2016.
DOI : 10.1145/1328897.1328472

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

I. Lanese, F. Montesi, and G. Zavattaro, Amending Choreographies, WWV, pp.34-48, 2013.
DOI : 10.1145/1242572.1242704

URL : https://hal.archives-ouvertes.fr/hal-00909305

S. Lu, S. Park, E. Seo, and Y. Zhou, Learning from mistakes, ACM SIGARCH Computer Architecture News, vol.36, issue.1, pp.329-339, 2008.
DOI : 10.1145/1353534.1346323

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

F. Montesi and N. Yoshida, Compositional Choreographies, In CONCUR LNCS, vol.8052, pp.425-439, 2013.
DOI : 10.1007/978-3-642-40184-8_30

URL : https://hal.archives-ouvertes.fr/hal-00909321

M. Forum, MPI: A Message-Passing Interface Standard. High-Performance Computing Center Stuttgart, 2015.

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

W. Group, Web services choreography description language version 1.0, 2004.

N. Yoshida, P. Deniélou, A. Bejleri, and R. Hu, Parameterised Multiparty Session Types, FOSSACS, pp.128-145, 2010.
DOI : 10.1007/978-3-642-12032-9_10

URL : http://www.doc.ic.ac.uk/%7Eab406/papers/parameterised-sessions.pdf