You are in : Home » Results & submissions » Select UOA » 11 - Computer Science and Informatics » View submission: Imperial College London » Outputs » Detail

Output details

11 - Computer Science and Informatics

Imperial College London

Return to search Previous output Next output

Output 123 of 201 in the submission

Output title

Multiparty asynchronous session types

Type

E - Conference contribution

DOI

10.1145/1328438.1328472

Name of conference/published proceedings

ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL'08)

Volume number

Issue number

First page of article

273

ISSN of proceedings

0362-1340

Year of publication

2008

URL

Number of additional authors

Additional information

<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).

Interdisciplinary

Cross-referral requested

Research group

E - Programming Languages and Systems

Citation count

Proposed double-weighted

Double-weighted statement

Reserve for a double-weighted output

Non-English

English abstract