Multiparty Session Programming with Global Protocol Combinators (Artifact).

Keigo Imai Rumyana Neykova Nobuko Yoshida Shoji Yuen

Published in: Dagstuhl Artifacts Ser. (2020)

Keyphrases

multi party
privacy preserving
secret sharing
description language
programming language
floor control
human communication
mental states
case study
domain specific