SPLASH 2023
Sun 22 - Fri 27 October 2023 Cascais, Portugal
Mon 23 Oct 2023 09:00 - 09:30 at Oceanus - Session 5 Chair(s): Ugo de'Liguoro

Modular methodologies for the development and verification of concurrent/distributed systems are increasingly relevant nowadays. We investigate the simultaneous composition of multiple systems in a multiparty-session-type setting, working on suitable notions of interfacing policy and multicompatibility. The resulting method is conservative (it alters as less as possible the single systems), flexible (any system can be looked at as potentially open) and safe (relevant communication properties, e.g. lock-freedom, are preserved by composition). We obtain safety, by proving preservation of typability, and give a sound and complete type inference algorithm.

Mon 23 Oct

Displayed time zone: Lisbon change

09:00 - 10:30
Session 5PPDP at Oceanus
Chair(s): Ugo de'Liguoro Università di Torino
09:00
30m
Paper
Multicompatibility for Multiparty-Session Composition
PPDP
Franco Barbanera , Mariangiola Dezani Università di Torino, Lorenzo Gheri University of Liverpool, Nobuko Yoshida University of Oxford
09:30
30m
Paper
Termination in Concurrency, Revisited
PPDP
Joseph Paulus , Daniele Nantes-Sobrinho Imperial College London, Jorge A. Pérez University of Groningen
10:00
30m
Paper
Polymorphic Typestate for Session Types
PPDP
Hannes Saffrich University of Freiburg, Peter Thiemann University of Freiburg, Germany