On message deliverability and non-uniform receptivity, Fundam. Inf, vol.53, pp.105-129, 2002. ,
Concurrent Programming in Erlang, 1996. ,
An introduction to Core Erlang, PLI01 Erlang Workshop, 2001. ,
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
Subtyping for session types in the pi calculus, Acta Informatica, vol.42, issue.23, pp.191-225, 2005. ,
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
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
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
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. ,
Advanced Topics in Types and Programming Languages, chapter Substructural Type Systems, 2005. ,
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