A Type System for Flexible Role Assignment in Multiparty Communicating Systems, TGC 2012, Proceedings, 2012. ,
DOI : 10.1007/978-3-642-41157-1_6
Global Progress in Dynamically Interleaved Multiparty Sessions, CONCUR 2008, Proceedings. LNCS, pp.418-433, 2008. ,
DOI : 10.1007/978-3-540-85361-9_33
Conversation types, Theor. Comput. Sci, vol.411, pp.51-52, 2010. ,
DOI : 10.1016/j.tcs.2010.09.010
URL : http://doi.org/10.1016/j.tcs.2010.09.010
On Progress for Structured Communications, TGC 2007, Proceedings. LNCS, pp.257-275, 2007. ,
DOI : 10.1007/978-3-540-78663-4_18
Language support for fast and reliable message-based communication in singularity OS, Proceedings. pp, pp.177-190, 2006. ,
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
Modular session types for distributed object-oriented programming, POPL 2010, Proceedings . pp, pp.299-312, 2010. ,
Types for dyadic interaction, Proceedings. LNCS, vol.715, pp.509-523, 1993. ,
DOI : 10.1007/3-540-57208-2_35
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.45.1355
Language primitives and type discipline for structured communication-based programming, Proceedings. LNCS, vol.1381, pp.122-138, 1998. ,
DOI : 10.1007/BFb0053567
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.30.3650
Multiparty asynchronous session types, POPL 2008, Proceedings. pp, pp.273-284, 2008. ,
DOI : 10.1145/2827695
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.128.7594
A Type System for Lock-Free Processes, Information and Computation, vol.177, issue.2, pp.122-159, 2002. ,
DOI : 10.1016/S0890-5401(02)93171-8
Fast allocation of nearby resources in a distributed system, Proceedings of the twelfth annual ACM symposium on Theory of computing , STOC '80, pp.70-81, 1980. ,
DOI : 10.1145/800141.804654
A calculus of mobile processes, I, Information and Computation, vol.100, issue.1, pp.1-77, 1992. ,
DOI : 10.1016/0890-5401(92)90008-4
From Lock Freedom to Progress Using Session Types, PLACES 2013, Proceedings (2013) ,
DOI : 10.4204/EPTCS.137.2
URL : http://doi.org/10.4204/eptcs.137.2
The ?-Calculus: A Theory of Mobile Processes, 2001. ,
Typing the behavior of software components using session types, Fundam. Inform, vol.73, issue.4, pp.583-598, 2006. ,
Fundamentals of session types, Information and Computation, vol.217, pp.52-70, 2012. ,
DOI : 10.1016/j.ic.2012.05.002