L. Bocchi, K. Honda, E. Tuosto, and N. Yoshida, A Theory of Design-by-Contract for Distributed Multiparty Interactions, CONCUR'2010, pp.162-176, 2010.
DOI : 10.1007/978-3-642-15375-4_12

E. Bonelli, A. Compagnoni, and E. Gunter, Correspondence assertions for process synchronization in concurrent communications, Journal of Functional Programming, vol.15, issue.2, pp.219-247, 2005.
DOI : 10.1017/S095679680400543X

L. Caires and J. A. Pérez, A typeful characterization of multiparty structured conversations based on binary sessions. CoRR, abs/1407, 2014.

L. Caires, J. A. Pérez, F. Pfenning, and B. Toninho, Behavioral Polymorphism and Parametricity in Session-Based Communication, ESOP, pp.330-349
DOI : 10.1007/978-3-642-37036-6_19
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.294.6775

. Springer, See also Technical Report CMU-CS-12-108, 2012.

L. Caires and F. Pfenning, Session Types as Intuitionistic Linear Propositions, CON- CUR'2010, pp.222-236, 2010.
DOI : 10.1007/978-3-642-15375-4_16
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.170.96

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, CONCUR 2015, pp.412-426, 2015.
DOI : 10.1007/s00236-016-0285-y
URL : https://hal.archives-ouvertes.fr/hal-01231453

G. Castagna, N. Gesbert, and L. Padovani, A theory of contracts for web services, POPL, pp.261-272, 2008.
DOI : 10.1145/1328897.1328471
URL : https://hal.archives-ouvertes.fr/hal-00152547

T. Chen, Lightening global types, Journal of Logical and Algebraic Methods in Programming, vol.84, issue.5, pp.708-729, 2015.
DOI : 10.1016/j.jlamp.2015.06.003
URL : http://arxiv.org/abs/1406.3483

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

R. Demangeon and N. Yoshida, On the expressiveness of multiparty session types, FSTTCS 2015, LIPIcs. Dagstuhl, 2015.

P. Deniélou and N. Yoshida, Multiparty Compatibility in Communicating Automata: Characterisation and Synthesis of Global Session Types, ICALP'13, 2013.
DOI : 10.1007/978-3-642-39212-2_18

K. Honda, V. T. Vasconcelos, and M. Kubo, Language primitives and type discipline for structured communication-based programming, ESOP'98, 1998.
DOI : 10.1007/BFb0053567
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.30.3650

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

J. Lange, E. Tuosto, and N. Yoshida, From communicating machines to graphical choreographies, Proc. of POPL 2015, pp.221-232, 2015.
DOI : 10.1145/2775051.2676964
URL : https://lra.le.ac.uk/bitstream/2381/31932/1/full_version.pdf

S. Mcilvenna, M. Dumas, and M. T. Wynn, Synthesis of orchestrators from service choreographies, APCCM, volume 96 of CRPIT. Australian Computer Society, 2009. 18. L. Padovani. Deadlock and lock freedom in the linear ?-calculus

J. A. Pérez, L. Caires, F. Pfenning, and B. Toninho, Linear logical relations and observational equivalences for session-based concurrency, Information and Computation, vol.239, pp.254-302, 2014.
DOI : 10.1016/j.ic.2014.08.001

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

B. Toninho, L. Caires, and F. Pfenning, Corecursion and Non-Divergence in Session Types, TGC 2014, pp.159-175, 2014.

P. Wadler, Propositions as sessions, Journal of Functional Programming, vol.16, issue.2-3, pp.384-418, 2014.
DOI : 10.1016/0304-3975(87)90045-4
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.225.7771