11 citations · 26 across the 10 of their papers we have counts for
1 paper · 2 filters
Kirstin Peters, Uwe Nestmann, Christoph Wagner
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…