Global Progress in Dynamically Interleaved Multiparty Sessions, CONCUR'08, pp.418-433, 2008. ,
DOI : 10.1007/978-3-540-85361-9_33
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.144.1553
Conversation types, Theoretical Computer Science, vol.411, pp.51-524399, 2010. ,
DOI : 10.1016/j.tcs.2010.09.010
URL : http://doi.org/10.1016/j.tcs.2010.09.010
A Graphical Approach to Progress for Structured Communication in Web Services, ICE, pp.13-27, 2010. ,
DOI : 10.4204/EPTCS.38.4
Contracts for Mobile Processes, CONCUR'09, pp.211-228, 2009. ,
DOI : 10.1007/978-3-540-28644-8_32
URL : https://hal.archives-ouvertes.fr/hal-00434461
Asynchronous Session Types and Progress for Object Oriented Languages, FMOODS'07, pp.1-31, 2007. ,
DOI : 10.1016/j.tcs.2006.06.028
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, PPDP'12, pp.139-150, 2012. ,
DOI : 10.2991/978-94-6239-204-5_6
URL : https://hal.archives-ouvertes.fr/hal-00909389
Dynamic Multirole Session Types, POPL'11, pp.435-446, 2011. ,
Sessions and Session Types: An Overview, WS-FM'09, pp.1-28, 2010. ,
DOI : 10.1007/978-3-642-14458-5_1
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.212.5293
On Progress for Structured Communications, TGC'07, pp.257-275, 2008. ,
DOI : 10.1007/978-3-540-78663-4_18
Session Types for Object-Oriented Languages, ECOOP'06, pp.328-352, 2006. ,
DOI : 10.1007/11785477_20
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.100.9890
Multiparty Asynchronous Session Types, POPL'08, 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
From Lock Freedom to Progress Using Session Types, PLACES'13, 2013. ,
DOI : 10.4204/EPTCS.137.2
URL : http://doi.org/10.4204/eptcs.137.2
The Conversation Calculus: A Model of Service-Oriented Computation, ESOP'08, pp.269-283, 2008. ,
DOI : 10.1007/978-3-540-78739-6_21