Semantic Characterisation of Well-Formed Multiparty Session Types

The core message of this article is to provide a semantic characterization of the well-formedness properties of multiparty session types, namely projectability and boundedness, using Prime Event Structures as the semantic model.