M. Bravetti and G. Zavattaro, Towards a Unifying Theory for Choreography Conformance and Contract Compliance, LNCS, vol.4829, pp.34-50, 2007.
DOI : 10.1007/978-3-540-77351-1_4

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 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, and C. Schürmann, Choreographies, logically, LNCS, vol.8704, pp.47-62, 2014.
DOI : 10.1007/978-3-662-44584-6_5
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.412-426, 2015.
DOI : 10.1007/s00236-016-0285-y
URL : https://hal.archives-ouvertes.fr/hal-01231453

. Chor, Programming Language

L. Cruz-filipe and F. Montesi, Choreographies, divided and conquered, 2016.

M. D. Preda, M. Gabbrielli, S. Giallorenzo, I. Lanese, and J. Mauro, Dynamic choreographies ? safe runtime updates of distributed applications, LNCS, vol.9037, pp.67-82, 2015.
URL : https://hal.archives-ouvertes.fr/hal-01227612

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

P. Deniélou and N. Yoshida, Multiparty Session Types Meet Communicating Automata, ESOP, pp.194-213, 2012.
DOI : 10.1007/978-3-642-28869-2_10

M. Gabbrielli, S. Giallorenzo, and F. Montesi, Applied choreographies. CoRR, abs, 1510.

A. Grama, A. Gupta, G. Karypis, and V. Kumar, Introduction to Parallel Computing, 2003.

K. Honda, N. Yoshida, and M. Carbone, Multiparty asynchronous session types, POPL, pp.273-284, 2008.
DOI : 10.1145/1328438.1328472
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.128.7594

R. Milner, J. Parrow, and D. Walker, A calculus of mobile processes, I and II. Information and Computation, pp.1-4041, 1992.

F. Montesi, Choreographic Programming, 2013.
DOI : 10.1007/978-3-319-33612-1_1
URL : http://arxiv.org/abs/1502.02519

F. Montesi, Kickstarting choreographic programming. CoRR, abs, 1502.
DOI : 10.1007/978-3-319-33612-1_1
URL : http://arxiv.org/abs/1502.02519

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

N. Ng and N. Yoshida, Pabble: parameterised scribble. Service Oriented Computing and Applications, pp.269-284, 2015.
DOI : 10.1007/s11761-014-0172-8
URL : http://spiral.imperial.ac.uk/bitstream/10044/1/19623/4/Service%20Oriented%20Computing%20and%20Applications_Dec_2014.pdf

N. Yoshida, P. Deniélou, A. Bejleri, and R. Hu, Parameterised Multiparty Session Types, LNCS, vol.6014, pp.128-145, 2010.
DOI : 10.1007/978-3-642-12032-9_10
URL : http://arxiv.org/abs/1208.6483