SPLASH 2023
Sun 22 - Fri 27 October 2023 Cascais, Portugal
Mon 23 Oct 2023 15:00 - 15:30 at Room XIII - ST30 Day 2 Session 3 Chair(s): António Ravara

This talk proposal concerns the use of Event Structures (ESs) as a semantic model for multiparty session types (MPSTs). Based on our previous work on ES semantics for synchronous MPSTs, it aims at presenting some new initial results and discussing some open problems. In particular, it will address the issue of characterising the well-formedness conditions for global types semantically, i.e., as structural properties of the ESs obtained by interpreting global types.

Mon 23 Oct

Displayed time zone: Lisbon change

14:00 - 15:30
ST30 Day 2 Session 3ST30 at Room XIII
Chair(s): António Ravara Nova University of Lisbon
14:00
30m
Talk
Benchmarks for Multiparty Session Types
ST30
Martin Vassor University of Oxford, UK, Nobuko Yoshida University of Oxford
File Attached
14:30
30m
Talk
Towards Session-Typed Consensus
ST30
Matthew Alan Le Brun University of Glasgow, Ornela Dardha University of Glasgow
15:00
30m
Talk
Using Event Structures to model Multiparty Session Types: results and open problems
ST30
Ilaria Castellani INRIA Sophia Antipolis, France, Paola Giannini University of Eastern Piedmont