D. Ancona, V. Bono, M. Bravetti, J. Campos, G. Castagna et al., Behavioral types in programming languages. Foundations and Trends in Programming Languages, vol.3, pp.95-230, 2016.
URL : https://hal.archives-ouvertes.fr/hal-01348054

J. C. Baeten and M. Bravetti, A ground-complete axiomatisation of finitestate processes in a generic process algebra, Mathematical Structures in Computer Science, vol.18, issue.6, pp.1057-1089, 2008.

G. T. Bernardi and M. Hennessy, Modelling session types using contracts, Mathematical Structures in Computer Science, vol.26, issue.3, pp.510-560, 2016.

D. Brand and P. Zafiropulo, On communicating finite-state machines, J. ACM, vol.30, issue.2, pp.323-342, 1983.

M. Bravetti, Reduction semantics in markovian process algebra, J. Log. Algebr. Meth. Program, vol.96, pp.41-64, 2018.
URL : https://hal.archives-ouvertes.fr/hal-01921194

M. Bravetti, M. Carbone, J. Lange, N. Yoshida, and G. Zavattaro, A sound algorithm for asynchronous session subtyping, Proc. of 30th Int. Conference Concurrency Theory, CONCUR'19, Leibniz International Proceedings in Informatics. Schloss Dagstuhl, 2019.
URL : https://hal.archives-ouvertes.fr/hal-02387473

M. Bravetti, M. Carbone, and G. Zavattaro, Undecidability of asynchronous session subtyping, Inf. Comput, vol.256, pp.300-320, 2017.
URL : https://hal.archives-ouvertes.fr/hal-01637935

M. Bravetti, M. Carbone, and G. Zavattaro, On the boundary between decidability and undecidability of asynchronous session subtyping, Theor. Comput. Sci, vol.722, pp.19-51, 2018.
URL : https://hal.archives-ouvertes.fr/hal-01921168

M. Bravetti, I. Lanese, and G. Zavattaro, Contract-driven implementation of choreographies, Trustworthy Global Computing, 4th International Symposium, vol.5474, pp.1-18, 2008.

M. Bravetti and G. Zavattaro, Contract based multi-party service composition, Proc. of Int. Symposium on Fundamentals of Software Engineering, FSEN'07, vol.4767, pp.207-222, 2007.

M. Bravetti and G. Zavattaro, Towards a unifying theory for choreography conformance and contract compliance, Proc. of 6th Int. Symposium Software Composition, SC'07, vol.4829, pp.34-50, 2007.

M. Bravetti and G. Zavattaro, Contract compliance and choreography conformance in the presence of message queues, Proc. of 5th Int. Workshop on Web Services and Formal Methods, WS-FM'08, vol.5387, pp.37-54, 2008.

M. Bravetti and G. Zavattaro, On the expressive power of process interruption and compensation, Mathematical Structures in Computer Science, vol.19, issue.3, pp.565-599, 2009.

G. Castagna, N. Gesbert, and L. Padovani, A theory of contracts for web services, Proc. of the 35th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL'08, pp.261-272, 2008.
URL : https://hal.archives-ouvertes.fr/hal-00152547

T. Chen, M. Dezani-ciancaglini, A. Scalas, and N. Yoshida, On the preciseness of subtyping in session types, Logical Methods in Computer Science, vol.13, issue.2, 2017.

F. S. De-boer, M. Bravetti, M. D. Lee, and G. Zavattaro, A petri net based modeling of active objects and futures, Fundam. Inform, vol.159, issue.3, pp.197-256, 2018.
URL : https://hal.archives-ouvertes.fr/hal-01919136

S. J. Gay and M. Hole, Subtyping for session types in the pi calculus, Acta Inf, vol.42, issue.2-3, pp.191-225, 2005.

R. Hu and N. Yoshida, Hybrid session verification through endpoint API generation, FASE 2016, pp.401-418, 2016.

C. Laneve and L. Padovani, The Must preorder revisited, Proc. of 18th Int. Conference Concurrency Theory, CONCUR'07, vol.4703, pp.212-225, 2007.

J. Lange and N. Yoshida, On the undecidability of asynchronous session subtyping, Proc. of 20th Int. Conference on Foundations of Software Science and Computation Structures, FOSSACS'17, vol.10203, pp.441-457, 2017.

S. Lindley and J. G. Morris, Embedding session types in Haskell, pp.133-145, 2016.

R. Milner, Communication and concurrency, 1989.

R. Milner, J. Parrow, and D. Walker, A Calculus of Mobile Processes, I/II, Inf. Comput, vol.100, issue.1, 1992.

D. Mostrous and N. Yoshida, Session typing and asynchronous subtyping for the higher-order ?-calculus, Inf. Comput, vol.241, pp.227-263, 2015.

D. Mostrous, N. Yoshida, and K. Honda, Global principal typing in partially commutative asynchronous sessions, Proc. of 18th European Symposium on Programming, ESOP'09, vol.5502, pp.316-332, 2009.

R. Neykova, R. Hu, N. Yoshida, and F. , A Session Type Provider: Compile-time API Generation for Distributed Protocols with Interaction Refinements in F, 2018.

D. A. Orchard and N. Yoshida, Effects as sessions, sessions as effects, POPL 2016, pp.568-581, 2016.

L. Padovani, A simple library implementation of binary sessions, J. Funct. Program, vol.27, p.4, 2017.
URL : https://hal.archives-ouvertes.fr/hal-01216310

A. Scalas and N. Yoshida, Lightweight session programming in scala, ECOOP 2016, vol.21, p.28, 2016.