Global Progress in Dynamically Interleaved Multiparty Sessions, CONCUR'08, pp.418-433, 2008. ,
DOI : 10.1007/978-3-540-85361-9_33
Typing Copyless Message Passing, Log. Meth. in Comp. Sci, vol.8, pp.1-50, 2012. ,
DOI : 10.1007/978-3-642-19718-5_4
URL : http://arxiv.org/abs/1202.2086
On Communicating Finite-State Machines, Journal of the ACM, vol.30, issue.2, pp.323-342, 1983. ,
DOI : 10.1145/322374.322380
Session Types as Intuitionistic Linear Propositions, CONCUR'10, pp.222-236, 2010. ,
DOI : 10.1007/978-3-642-15375-4_16
On Global Types and Multi-party Sessions, Log. Meth. in Comp. Sci, vol.13, issue.4, pp.1-45, 2012. ,
DOI : 10.1007/978-3-642-12032-9_10
URL : https://hal.archives-ouvertes.fr/hal-00618814
Verification of programs with half-duplex communication, Information and Computation, vol.202, issue.2, pp.166-190, 2005. ,
DOI : 10.1016/j.ic.2005.05.006
Inference of Global Progress Properties for Dynamically Interleaved Multiparty Sessions, COORDINATION'13, pp.45-59, 2013. ,
DOI : 10.1007/978-3-642-38493-6_4
URL : https://hal.archives-ouvertes.fr/hal-01486034
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
Fundamental properties of infinite trees, Theoretical Computer Science, vol.25, issue.2, pp.95-169, 1983. ,
DOI : 10.1016/0304-3975(83)90059-2
Session types revisited, PPDP'12, pp.139-150, 2012. ,
URL : https://hal.archives-ouvertes.fr/hal-00909389
Nested Protocols in Session Types, CONCUR'12, pp.272-286, 2012. ,
DOI : 10.1007/978-3-642-32940-1_20
Multiparty Session Types Meet Communicating Automata, ESOP'12, pp.194-213, 2012. ,
DOI : 10.1007/978-3-642-28869-2_10
Parameterised Multiparty Session Types, Logical Methods in Computer Science, vol.8, issue.4, p.2012 ,
DOI : 10.2168/LMCS-8(4:6)2012
Types for dyadic interaction, CONCUR'93, pp.509-523, 1993. ,
DOI : 10.1007/3-540-57208-2_35
Language primitives and type discipline for structured communication-based programming, ESOP'98, 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'08, pp.273-284, 2008. ,
DOI : 10.1145/1328438.1328472
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
Type-based information flow analysis for the pi-calculus ,
A New Type System for Deadlock-Free Processes, CONCUR'06, pp.233-247, 2006. ,
DOI : 10.1007/11817949_16
Type systems for concurrent programs Short version appeared in 10th Anniversary Colloquium of UNU/IIST, 2002. ,
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 hybrid type system for lock-freedom of mobile processes, ACM Transactions on Programming Languages and Systems, vol.32, issue.5, 2010. ,
DOI : 10.1145/1745312.1745313
Compositional Choreographies, CON- CUR'13, pp.425-439, 2013. ,
DOI : 10.1007/978-3-642-40184-8_30
URL : https://hal.archives-ouvertes.fr/hal-00909321
From Lock Freedom to Progress Using Session Types, PLACES'13, pp.3-19, 2013. ,
DOI : 10.4204/EPTCS.137.2
URL : http://doi.org/10.4204/eptcs.137.2
Typing progress in communicationcentred systems, COORDINATION'13, pp.236-250, 2013. ,
URL : https://hal.archives-ouvertes.fr/hal-01486030
Propositions as sessions, ICFP'12, pp.273-286, 2012. ,