Login / Signup
A Linear Decomposition of Multiparty Sessions for Safe Distributed Programming (Artifact).
Alceste Scalas
Ornela Dardha
Raymond Hu
Nobuko Yoshida
Published in:
Dagstuhl Artifacts Ser. (2017)
Keyphrases
</>
multi party
privacy preserving
programming language
description language
mental states
secret sharing
turn taking
multi agent
object oriented
peer to peer
orders of magnitude
distributed environment
human communication