Global Progress in Dynamically Interleaved Multiparty Sessions, pp.418-433, 2008. ,
DOI : 10.1007/978-3-540-85361-9_33
Live Sequence Charts, SoftSpez Final Report, pp.374-399, 2004. ,
DOI : 10.1007/978-3-540-27863-4_21
A Graphical Approach to Progress for Structured Communication in Web Services, Electronic Proceedings in Theoretical Computer Science, vol.38, pp.13-27, 2010. ,
DOI : 10.4204/EPTCS.38.4
Verification of liveness properties using compositional reachability analysis, Lecture Notes in Computer Science, vol.1301, pp.227-243, 1997. ,
DOI : 10.1007/3-540-63531-9_17
Inference of Global Progress Properties for Dynamically Interleaved Multiparty Sessions, pp.45-59, 2013. ,
DOI : 10.1007/978-3-642-38493-6_4
URL : https://hal.archives-ouvertes.fr/hal-01486034
Lscs: Breathing life into message sequence charts, Formal Methods in System Design, vol.19, issue.1, pp.45-80, 2001. ,
DOI : 10.1023/A:1011227529550
Type checking liveness for collaborative processes with bounded and unbounded recursion (full version) ,
Multiparty Session Types Meet Communicating Automata, pp.194-213, 2012. ,
DOI : 10.1007/978-3-642-28869-2_10
Multiparty Compatibility in Communicating Automata: Characterisation and Synthesis of Global Session Types, pp.174-186, 2013. ,
DOI : 10.1007/978-3-642-39212-2_18
On Progress for Structured Communications, pp.257-275, 2007. ,
DOI : 10.1007/978-3-540-78663-4_18
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.304.6153
Objects and session types, Information and Computation, vol.207, issue.5, pp.595-641, 2009. ,
DOI : 10.1016/j.ic.2008.03.028
URL : https://hal.archives-ouvertes.fr/hal-00909312
Intensional and Extensional Characterisation of Global Progress in the ??-Calculus, pp.287-301, 2012. ,
DOI : 10.1007/978-3-642-32940-1_21
Subtyping for session types in the pi calculus, Acta Inf, pp.191-225, 2005. ,
Scribbling Interactions with a Formal Foundation, pp.55-75, 2011. ,
DOI : 10.1007/978-3-642-19056-8_4
Language primitives and type discipline for structured communication-based programming, 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, pp.273-284, 2008. ,
DOI : 10.1145/1328438.1328472
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.128.7594
Session-Based Distributed Programming in Java, LNCS, vol.5142, issue.08, pp.516-541, 2008. ,
DOI : 10.1007/978-3-540-70592-5_22
A type system for lock-free processes, I&C, vol.177, pp.122-159, 2002. ,
DOI : 10.1006/inco.2002.3171
A Type System Equivalent to the Modal Mu-Calculus Model Checking of Higher-Order Recursion Schemes, 2009 24th Annual IEEE Symposium on Logic In Computer Science, pp.179-188, 2009. ,
DOI : 10.1109/LICS.2009.29
Session Typing for a Featherweight Erlang, pp.95-109, 2011. ,
DOI : 10.1016/j.entcs.2004.05.008
Fair Subtyping for Open Session Types, pp.373-384, 2013. ,
DOI : 10.1007/978-3-642-39212-2_34
URL : http://hdl.handle.net/2318/137477
A Verification Method for Collaborative Business Processes, Business Process Management Workshops Lecture Notes in Business Information Processing 99, pp.293-305, 2011. ,
DOI : 10.1007/978-3-540-74974-5_4
Fundamentals of session types, I&C, vol.217, pp.52-70, 2012. ,
Typing progress in communication-centred systems, pp.236-250 ,
URL : https://hal.archives-ouvertes.fr/hal-01486030
Language Primitives and Type Discipline for Structured Communication-Based Programming Revisited: Two Systems for Higher-Order Session Communication, Electronic Notes in Theoretical Computer Science, vol.171, issue.4, pp.73-93, 2007. ,
DOI : 10.1016/j.entcs.2007.02.056