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

Celý popis

Podrobná bibliografie

Vydáno v:	Proceedings of ACM on programming languages Ročník 3; číslo POPL; s. 1 - 29
Hlavní autoři:	Scalas, Alceste, Yoshida, Nobuko
Médium:	Journal Article
Jazyk:	angličtina
Vydáno:	New York, NY, USA ACM 02.01.2019
Témata:	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
On-line přístup:	Získat plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!