S. Abramsky, Computational interpretations of linear logic, Theoretical Computer Science, vol.111, issue.1-2, pp.3-57, 1993.
DOI : 10.1016/0304-3975(93)90181-R

A. Asperti and L. Roversi, Intuitionistic Light Affine Logic, ACM Transactions on Computational Logic, vol.3, issue.1, 2002.
DOI : 10.1145/504077.504081

M. Bravetti and G. Zavattaro, Contract-Based Discovery and Composition of Web Services, SFM, pp.261-295, 2009.
DOI : 10.1007/978-3-642-01918-0_7

L. Caires and F. Pfenning, Session Types as Intuitionistic Linear Propositions, In CONCUR LNCS, vol.6269, pp.222-236, 2010.
DOI : 10.1007/978-3-642-15375-4_16

S. Capecchi, E. Giachino, and N. Yoshida, Global escape in multiparty sessions, FSTTCS, LIPIcs, pp.338-351, 2010.
DOI : 10.1007/978-3-540-78739-6_21
URL : https://hal.archives-ouvertes.fr/hal-00909314

M. Carbone, Session-based Choreography with Exceptions, PLACES, pp.35-55, 2009.
DOI : 10.1016/j.entcs.2009.06.003

M. Carbone, K. Honda, and N. Yoshida, Structured Interactional Exceptions in Session Types, In CONCUR LNCS, vol.5201, pp.402-417, 2008.
DOI : 10.1007/978-3-540-85361-9_32

G. Castagna, N. Gesbert, and L. Padovani, A theory of contracts for Web services, ACM Transactions on Programming Languages and Systems, vol.31, issue.5, pp.1-61, 2009.
DOI : 10.1145/1538917.1538920
URL : https://hal.archives-ouvertes.fr/hal-00152547

M. Dezani-ciancaglini, U. Liguoro, and N. Yoshida, On Progress for Structured Communications, TGC'07, pp.257-275, 2008.
DOI : 10.1007/978-3-540-78663-4_18

C. Ferreira, I. Lanese, A. Ravara, H. T. Vieira, and G. Zavattaro, Results of the SENSORIA Project, LNCS, chapter Advanced Mechanisms for Service Combination and Transactions, vol.6582, pp.302-325, 2011.

J. Simon, M. J. Gay, and . Hole, Subtyping for session types in the pi calculus, Acta Informatica, vol.42, issue.23, pp.191-225, 2005.

J. Girard, Linear logic, Theoretical Computer Science, vol.50, issue.1, pp.1-102, 1987.
DOI : 10.1016/0304-3975(87)90045-4
URL : https://hal.archives-ouvertes.fr/inria-00075966

M. Giunti, Algorithmic type checking for a pi-calculus with name matching and session types, The Journal of Logic and Algebraic Programming, vol.82, issue.8, pp.263-281, 2013.
DOI : 10.1016/j.jlap.2013.05.003

K. Honda, N. Yoshida, and M. Carbone, Multiparty asynchronous session types, POPL, pp.273-284, 2008.

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

R. Hu, R. Neykova, N. Yoshida, and R. Demangeon, Practical Interruptible Conversations, RV, pp.148-130, 2013.
DOI : 10.1007/978-3-642-40787-1_8
URL : https://hal.archives-ouvertes.fr/hal-01146168

A. Kopylov, Decidability of Linear Affine Logic, Information and Computation, vol.164, issue.1, pp.173-198, 2001.
DOI : 10.1006/inco.1999.2834

R. Milner, Functions as processes, Mathematical Structures in Computer Science, vol.4, issue.02, pp.119-141, 1992.
DOI : 10.1016/0304-3975(87)90045-4
URL : https://hal.archives-ouvertes.fr/inria-00075405

R. Milner, J. Parrow, and D. Walker, A calculus of mobile processes, parts I and II. Information and Computation, 1992.

D. Mostrous, Multiparty Sessions based on Proof Nets, Programming Language Approaches to Concurrency and Communication-cEntric Software (PLACES), 2014.
DOI : 10.4204/EPTCS.155.1

K. Takeuchi, K. Honda, and M. Kubo, An interaction-based language and its typing system, PARLE '94, pp.398-413, 1994.
DOI : 10.1007/3-540-58184-7_118

T. Vasco and . Vasconcelos, Fundamentals of session types. Information and Computation, pp.52-70, 2012.

T. Hugo, L. Vieira, J. C. Caires, and . Seco, The conversation calculus: A model of service-oriented computation, ESOP, pp.269-283, 2008.