19 citations · 70 across the 21 of their papers we have counts for
1 paper · 1 filter
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…