2 papers
cs.PL2026
Proceedings 17th Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software
Kirstin Peters, Lorenzo Gheri
This volume contains the proceedings of PLACES 2026, the 17th edition of the Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software. The work…
cs.LO2025
Fault-Tolerant Multiparty Session Types with Global Escape Loops
Lukas Bartl, Julian Linne, Kirstin Peters
Multiparty session types are designed to abstractly capture the structure of communication protocols and verify behavioural properties. One important such property is progress, i.e…