4 citations · 6 across the 3 of their papers we have counts for
1 paper · 1 filter
Andi Bejleri, Elton Domnori, Malte Viering +2
Multiparty session types (MST) are a well-established type theory that describes the interactive structure of a fixed number of components from a global point of view and type-chec…