Entrar
insight - Multiparty Session Types
Analyzing Multiparty Session Types: Global Association
The author argues for the importance of global association in multiparty session types, correcting misunderstandings and proposing a new proof technique for type soundness.
Less is More Revisit: Multiparty Session Types and Data Science Technologies
Global multiparty session types ensure type soundness and communication safety in distributed systems.
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.