Comprehensive Multiparty Session Types

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…