22 citations · 96 across the 27 of their papers we have counts for
1 paper · 1 filter
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…