R. M. Amadio, G. Boudol, and C. Lhoussaine, On message deliverability and non-uniform receptivity, Fundam. Inf, vol.53, pp.105-129, 2002.

J. Armstrong, R. Virding, C. Wikström, and M. Williams, Concurrent Programming in Erlang, 1996.

R. Carlsson, An introduction to Core Erlang, PLI01 Erlang Workshop, 2001.

M. Christakis and K. Sagonas, Detection of Asynchronous Message Passing Errors Using Static Analysis, Practical Aspects of Declarative Languages (PADL'2011), pp.5-18, 2011.
DOI : 10.1007/978-3-642-18378-2_3

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.

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

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.30.3650

R. Hu, N. Yoshida, and K. Honda, Session-Based Distributed Programming in Java, Proceedings of ECOOP'08, pp.516-541, 2008.
DOI : 10.1007/978-3-540-70592-5_22

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.137.3166

T. Lindahl and K. Sagonas, Practical type inference based on success typings, Proceedings of the 8th ACM SIGPLAN symposium on Principles and practice of declarative programming , PPDP '06, pp.167-178, 2006.
DOI : 10.1145/1140335.1140356

M. Viroli, Towards a formal foundation to orchestration languages Electronic Notes in Theoretical Computer Science, Proceedings of the First International Workshop on Web Services and Formal Methods, pp.51-71, 2004.

D. Walker, Advanced Topics in Types and Programming Languages, chapter Substructural Type Systems, 2005.

N. Yoshida and V. T. Vasconcelos, Language Primitives and Type Discipline for Structured Communication-Based Programming Revisited: Two Systems for Higher-Order Session Communication, 1st International Workshop on Security and Rewriting Techniques, pp.73-93, 2007.
DOI : 10.1016/j.entcs.2007.02.056

URL : http://doi.org/10.1016/j.entcs.2007.02.056