Blogs (1) >>
POPL 2019
Sun 13 - Sat 19 January 2019 Cascais, Portugal
Wed 16 Jan 2019 16:37 - 16:59 at Sala II - Session Types II Chair(s): Andrew D. Gordon

In multiparty session types, interconnection networks identify which roles in a session engage in communica- tion (i.e. two roles are connected if they exchange a message). In session-based interpretations of linear logic the analogue notion corresponds to determining which processes are composed, or cut, using compatible channels typed by linear propositions. In this work we show that well-formed interactions represented in a session-based interpretation of classical linear logic (CLL) form strictly less expressive interconnection networks than those of a multiparty session calculus. To achieve this result we introduce a new compositional synthesis property dubbed partial multiparty compatibility (PMC), enabling us to build a global type denoting the interactions obtained by iterated composition of well-typed CLL threads. We then show that CLL compo- sition induces PMC global types without circular interconnections between three (or more) participants. PMC is then used to de ne a new CLL composition rule which can form circular interconnections but preserves the deadlock-freedom of CLL.

Wed 16 Jan

POPL-2019-Research-Papers
16:37 - 17:43: Research Papers - Session Types II at Sala II
Chair(s): Andrew D. GordonMicrosoft Research and University of Edinburgh
POPL-2019-Research-Papers16:37 - 16:59
Talk
Bernardo ToninhoImperial College London, Nobuko YoshidaImperial College London
Link to publication DOI Pre-print Media Attached
POPL-2019-Research-Papers16:59 - 17:21
Talk
David CastroImperial College London, Raymond HuImperial College London, Sung-Shik JongmansOpen University of the Netherlands, Nicholas NgImperial College London, Nobuko YoshidaImperial College London
Link to publication DOI Pre-print Media Attached File Attached
POPL-2019-Research-Papers17:21 - 17:43
Talk
Alceste ScalasImperial College London, Nobuko YoshidaImperial College London
Link to publication DOI Pre-print Media Attached File Attached