Global Progress in Dynamically Interleaved Multiparty Sessions, In CONCUR, pp.418-433, 2008. ,
DOI : 10.1007/978-3-540-85361-9_33
Session Types as Intuitionistic Linear Propositions, In CONCUR, pp.222-236, 2010. ,
DOI : 10.1007/978-3-642-15375-4_16
Progress as Compositional Lock-Freedom, 2014. ,
DOI : 10.1007/978-3-662-43376-8_4
URL : https://hal.archives-ouvertes.fr/hal-01290067
A Graphical Approach to Progress for Structured Communication in Web Services, Proc. of ICE'10, pp.13-27, 2010. ,
DOI : 10.4204/EPTCS.38.4
Structured Communication-Centered Programming for Web Services, ACM Transactions on Programming Languages and Systems, vol.34, issue.2, p.8, 2012. ,
DOI : 10.1145/2220365.2220367
Deadlock-freedom-by-design: multiparty asynchronous global programming, POPL, pp.263-274, 2013. ,
URL : https://hal.archives-ouvertes.fr/hal-00909320
Global progress for dynamically interleaved multiparty sessions (long version), 2008. ,
Global progress for dynamically interleaved multiparty sessions, Mathematical Structures in Computer Science, vol.8, issue.02 ,
DOI : 10.1007/978-3-642-40184-8_30
URL : https://hal.archives-ouvertes.fr/hal-01486034
Session types revisited, pp.139-150, 2012. ,
URL : https://hal.archives-ouvertes.fr/hal-00909389
Dynamic multirole session types, Proc. of POPL, pp.435-446, 2011. ,
On Progress for Structured Communications, TGC, pp.257-275, 2007. ,
DOI : 10.1007/978-3-540-78663-4_18
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
Language primitives and type discipline for structured communication-based programming, ESOP'98, pp.22-138, 1998. ,
DOI : 10.1007/BFb0053567
Multiparty asynchronous session types, Proc. of POPL, pp.273-284, 2008. ,
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
A New Type System for Deadlock-Free Processes, In CONCUR, pp.233-247, 2006. ,
DOI : 10.1007/11817949_16
A hybrid type system for lock-freedom of mobile processes, ACM Trans. Program. Lang. Syst, vol.32, issue.5, 2010. ,
A calculus of mobile processes, I and II. Information and Computation, pp.1-4041, 1992. ,
Programming Services with Correlation Sets, ICSOC, pp.125-141, 2011. ,
DOI : 10.1007/978-3-540-68265-3_13
From Lock Freedom to Progress Using Session Types, Proc. of PLACES, 2013. ,
DOI : 10.4204/EPTCS.137.2
Types and programming languages, 2002. ,
Fundamentals of session types, Information and Computation, vol.217, pp.52-70, 2012. ,
DOI : 10.1016/j.ic.2012.05.002
Propositions as sessions, ICFP, pp.273-286, 2012. ,