SPLASH 2023 (series) / PPDP 2023 (series) / PPDP 2023 /
Multicompatibility for Multiparty-Session Composition
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 OctDisplayed time zone: Lisbon change
Mon 23 Oct
Displayed time zone: Lisbon change
09:00 - 10:30 | |||
09:00 30mPaper | 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 30mPaper | Termination in Concurrency, Revisited PPDP Joseph Paulus , Daniele Nantes-Sobrinho Imperial College London, Jorge A. Pérez University of Groningen | ||
10:00 30mPaper | Polymorphic Typestate for Session Types PPDP |