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…