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...

Full description

Saved in:

Bibliographic Details
Published in:	Proceedings of ACM on programming languages Vol. 3; no. POPL; pp. 1 - 29
Main Authors:	Scalas, Alceste, Yoshida, Nobuko
Format:	Journal Article
Language:	English
Published:	New York, NY, USA ACM 02.01.2019
Subjects:	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 Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!

Be the first to leave a comment!