Output details
11 - Computer Science and Informatics
Imperial College London
Multiparty asynchronous session types
<10>This paper solved a major open problem of session types since 1998, namely whether the original binary sessions can be extended to multiparty sessions. POPL'08 Acceptance: 16.5%/212. We published more than 30 direct subsequent papers of this work (including LMCS(2012:vol.8:no.4), CONCUR'08, ESOP'09, FoSSaCs'10, two CONCUR'10s, ESOP'12, two CONCUR'13s and ICALP'13) and one conference publication (LNCS:vol.6536) with industry (Red Hat). JBoss Scribble by Red Hat (http://www.jboss.org/scribble) is an industry project/software to describe/validate distributed protocols. Contact: Dr Gary Brown (Red Hat). This work led to EPSRC EP/G015635/1 (Multiparty Session, 44k) and EPSRC EP/K034413/1 (Programme Grant on Sessions, 3.95M).