Session Types Revisited, Proceedings of the 14th Symposium on Principles and Practice of Declarative Programming (PPDP'12), ACM, pp.139-15010, 2012. ,
URL : https://hal.archives-ouvertes.fr/hal-00909389
Full Abstraction in a Subtyped pi-Calculus with Linear Types, Proceedings of the 22nd International Conference on Concurrency Theory, pp.460-474, 2011. ,
DOI : 10.1016/j.ic.2003.08.004
Session Types for Object-Oriented Languages, Proceedings of the 14th ECOOP, pp.328-35210, 2006. ,
DOI : 10.1007/11785477_20
Subtyping for Session Types in the Pi-Calculus, Acta Informatica, vol.4223, pp.191-225, 2005. ,
Language primitives and type discipline for structured communication-based programming, Proceedings of the 14th ESOP, pp.122-13810, 1998. ,
DOI : 10.1007/BFb0053567
A Generic Type System for the Pi-Calculus, Theoretical Computer Science, vol.31113, issue.03, pp.121-16310, 2004. ,
Type Systems for Concurrent Programs, Proceedings of UNU/IIST 10th Anniversary Colloquium ), pp.439-453, 2002. ,
DOI : 10.1007/978-3-540-40007-3_26
Linearity and the pi-calculus, ACM Transactions on Programming Languages and Systems, vol.21, issue.5, pp.914-947, 1999. ,
DOI : 10.1145/330249.330251
A behavioral notion of subtyping, ACM Transactions on Programming Languages and Systems, vol.16, issue.6, pp.1811-184110, 1994. ,
DOI : 10.1145/197320.197383
A calculus of mobile processes, I, Information and Computation, vol.100, issue.1, pp.1-7710, 1992. ,
DOI : 10.1016/0890-5401(92)90008-4
The pi-calculus, a theory of mobile processes, 2001. ,
An interaction-based language and its typing system, 1994. ,
DOI : 10.1007/3-540-58184-7_118