Multiparty Session Programming With Global Protocol Combinators
Published in DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) • Jan 1, 2020
NobleIDNI3P98W38R56S29
Authors:,,
Keigo Imai
Rumyana Neykova
Nobuko Yoshida
Abstract
Multiparty Session Types (MPST) is a typing discipline for communication protocols. It ensures the absence of communication errors and deadlocks for well-typed communicating processes. The state-of-the-art implementations of the MPST theory rely on (1) runtime linearity checks to ensure correct usag...
Finding related papers...
Discussions
(0)No comments yet
Be the first to share your thoughts!