Less is more: multiparty session types revisited

Multiparty Session Types (MPST) are a typing discipline ensuring that a message-passing process implements a multiparty session protocol, without errors. In this paper, we propose a new, generalised MPST theory. Our contribution is fourfold. (1) We demonstrate that a revision of the theoretical foun...

Ausführliche Beschreibung

Bibliographische Detailangaben

Veröffentlicht in:	Proceedings of ACM on programming languages Jg. 3; H. POPL; S. 1 - 29
Hauptverfasser:	Scalas, Alceste, Yoshida, Nobuko
Format:	Journal Article
Sprache:	Englisch
Veröffentlicht:	New York, NY, USA ACM 02.01.2019
Schlagworte:	Concurrency Logic Models of computation Process calculi Program constructs Semantics and reasoning Theory of computation Type structures Verification by model checking liveness session types duality deadlock-freedom
ISSN:	2475-1421, 2475-1421
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!