J. Bengtson, M. Johansson, J. Parrow, and B. Victor, Psi-calculi: Mobile Processes, Nominal Data, and Logic, 2009 24th Annual IEEE Symposium on Logic In Computer Science, pp.39-4820, 2009.
DOI : 10.1109/LICS.2009.20
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.157.4336

N. Busi, M. Gabbrielli, and G. Zavattaro, On the expressive power of recursion, replication and iteration in process calculi, Mathematical Structures in Computer Science, vol.2987, issue.06, pp.1191-1222, 2009.
DOI : 10.1145/321160.321170

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

L. Caires and J. A. Pérez, Multiparty Session Types Within a Canonical Binary Theory, and Beyond, Proc. of FORTE 2016, 2016.
DOI : 10.1007/978-3-319-39570-8_6
URL : https://hal.archives-ouvertes.fr/hal-01432929

L. Caires and F. Pfenning, Session Types as Intuitionistic Linear Propositions, 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. Cano, C. Rueda, H. A. López, and J. A. Pérez, Declarative interpretations of session-based concurrency, Proceedings of the 17th International Symposium on Principles and Practice of Declarative Programming, PPDP '15, pp.67-78, 2015.
DOI : 10.1145/2790449.2790513

M. Carbone, O. Dardha, and F. Montesi, Progress as Compositional Lock-Freedom, Proc. of COORDINATION 2014, pp.49-64978, 2014.
DOI : 10.1007/978-3-662-43376-8_4
URL : https://hal.archives-ouvertes.fr/hal-01290067

M. Carbone and S. Debois, A Graphical Approach to Progress for Structured Communication in Web Services, Proc. of ICE 2010, pp.13-27, 2010.
DOI : 10.4204/EPTCS.38.4

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

M. Carbone, F. Montesi, C. Schürmann, and N. Yoshida, Multiparty session types as coherence proofs, Proc. of CONCUR 2015. LIPIcs, pp.412-426, 2015.
DOI : 10.1007/s00236-016-0285-y
URL : https://hal.archives-ouvertes.fr/hal-01231453

L. Cruz-filipe and F. Montesi, Choreographies, computationally, p.3271, 1510.

O. Dardha, Recursive Session Types Revisited, Proc. of BEAT 2014. EPTCS, pp.27-34, 2014.
DOI : 10.4204/EPTCS.162.4
URL : http://doi.org/10.4204/eptcs.162.4

O. Dardha, E. Giachino, and D. Sangiorgi, Session types revisited, Proc. of PPDP 2012, pp.139-150, 2012.
DOI : 10.1145/2370776.2370794
URL : https://hal.archives-ouvertes.fr/hal-00909389

O. Dardha and J. A. Pérez, Comparing Deadlock-Free Session Typed Processes, Proc. of EXPRESS/SOS. EPTCS, pp.1-15, 2015.
DOI : 10.4204/EPTCS.190.1
URL : http://doi.org/10.4204/eptcs.190.1

R. Demangeon and K. Honda, Full Abstraction in a Subtyped pi-Calculus with Linear Types, Proc. of CONCUR 2011, pp.280-296978, 2011.
DOI : 10.1016/j.ic.2003.08.004

R. Demangeon and N. Yoshida, On the expressiveness of multiparty sessions, Proc. of FSTTCS 2015. LIPIcs, pp.560-574, 2015.

Y. Deng and D. Sangiorgi, Ensuring termination by typability, Information and Computation, vol.204, issue.7, pp.1045-1082, 2006.
DOI : 10.1016/j.ic.2006.03.002
URL : https://hal.archives-ouvertes.fr/hal-00159679

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

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

M. Dezani-ciancaglini and U. De-'liguoro, Sessions and Session Types: An Overview, WS-FM 2009, pp.1-28, 2010.
DOI : 10.1007/978-3-642-14458-5_1
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.212.5293

M. Dezani-ciancaglini, U. De-'liguoro, and N. Yoshida, On Progress for Structured Communications, Proc. of TGC 2007, pp.257-275978, 2008.
DOI : 10.1007/978-3-540-78663-4_18
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.304.6153

L. Fossati, R. Hu, and N. Yoshida, Multiparty Session Nets, Proc. of TGC 2014, pp.112-127, 2014.
DOI : 10.1007/978-3-662-45917-1_8
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.433.336

S. Gay and M. Hole, Subtyping for session types in the pi calculus, Acta Informatica, vol.Analysis, issue.1, pp.191-225, 2005.
DOI : 10.1007/s00236-005-0177-z

S. J. Gay, N. Gesbert, and A. Ravara, Session Types as Generic Process Types, Proc. of EXPRESS 2014 and SOS 2014, pp.94-110, 2014.
DOI : 10.4204/EPTCS.160.9
URL : https://hal.archives-ouvertes.fr/hal-01102349

S. J. Gay and V. T. Vasconcelos, Linear type theory for asynchronous session types, Journal of Functional Programming, vol.73, issue.01, pp.19-50, 2010.
DOI : 10.1006/inco.1994.1093

D. Gorla, Towards a unified approach to encodability and separation results for process calculi, Information and Computation, vol.208, issue.9, pp.1031-1053, 2010.
DOI : 10.1016/j.ic.2010.05.002
URL : http://doi.org/10.1016/j.ic.2010.05.002

K. Honda, V. T. Vasconcelos, and M. Kubo, Language primitives and type discipline for structured communication-based programming, ESOP'98, pp.122-138, 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 '08, pp.273-284, 2008.
DOI : 10.1145/1328438.1328472
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.128.7594

H. Hüttel, Typed ?-calculi, Proc. of CONCUR 2011, pp.265-279978, 2011.

H. Hüttel, Types for resources in ?-calculi, Proc. of TGC 2013, pp.83-102, 2014.

H. Huttel, I. Lanese, V. Vasconcelos, L. Caires, M. Carbone et al., Foundations of Session Types and Behavioural Contracts, ACM Computing Surveys, vol.49, issue.1, 2016.
DOI : 10.1145/2873052
URL : https://hal.archives-ouvertes.fr/hal-01336707

A. Igarashi and N. Kobayashi, A generic type system for the pi-calculus, Theor. Comput . Sci, vol.31113, issue.03, pp.121-163, 2004.

N. Kobayashi, A Type System for Lock-Free Processes, Information and Computation, vol.177, issue.2, pp.122-1593171, 2002.
DOI : 10.1016/S0890-5401(02)93171-8
URL : http://doi.org/10.1006/inco.2002.3171

N. Kobayashi, Type Systems for Concurrent Programs, Formal Methods at the Crossroads, pp.439-453978, 2003.
DOI : 10.1007/978-3-540-40007-3_26
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.105.24

D. Kouzapas, J. A. Pérez, and N. Yoshida, On the relative expressiveness of higherorder session processes, ESOP 2016, pp.446-475, 2016.

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

H. A. López, C. Olarte, and J. A. Pérez, Towards a Unified Framework for Declarative Structured Communications, Proc. of PLACES 2009. EPTCS, pp.1-15, 2009.
DOI : 10.4204/EPTCS.17.1

R. Milner, The Polyadic pi-Calculus: A Tutorial, 1991.

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

U. Nestmann, Welcome to the Jungle: A Subjective Guide to Mobile Process Calculi, Proc. of CONCUR 2006, pp.52-63, 2006.
DOI : 10.1007/11817949_4

D. A. Orchard and N. Yoshida, Effects as sessions, sessions as effects, Proc. of POPL 2016, pp.568-581, 2016.
DOI : 10.1145/2837614.2837634
URL : http://kar.kent.ac.uk/57481/1/popl16-orchard-yoshida.pdf

L. Padovani, Session Types = Intersection Types + Union Types, Proc. of ITRS 2010, pp.71-89, 2010.
DOI : 10.4204/EPTCS.45.6
URL : http://doi.org/10.4204/eptcs.45.6

C. Palamidessi, Comparing the expressive power of the synchronous and asynchronous $pi$ -calculi, Mathematical Structures in Computer Science, vol.13, issue.5, pp.685-719, 2003.
DOI : 10.1017/S0960129503004043
URL : https://hal.archives-ouvertes.fr/inria-00201104

J. Parrow, Expressiveness of Process Algebras, Electronic Notes in Theoretical Computer Science, vol.209, pp.173-186, 2008.
DOI : 10.1016/j.entcs.2008.04.011

D. Sangiorgi, Expressing Mobility in Process Algebras: First-Order and Higher- Order Paradigms, 1992.

J. Villard, Heaps and Hops, 2011.

P. Wadler, Propositions as sessions, J. Funct. Program, vol.2423, pp.384-418, 2014.
DOI : 10.1145/2364527.2364568
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.225.7771

N. Yoshida, Graph types for monadic mobile processes, Proc. of FSTTCS'96, pp.371-386, 1996.
DOI : 10.1007/3-540-62034-6_64
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.37.6921

N. Yoshida, M. Berger, and K. Honda, Strong normalisation in the ??-calculus, Information and Computation, vol.191, issue.2, pp.145-202, 2004.
DOI : 10.1016/j.ic.2003.08.004