Sign in
Practical interruptible conversations: distributed dynamic verification with multiparty session types and Python.
Romain Demangeon
Kohei Honda
Raymond Hu
Rumyana Neykova
Nobuko Yoshida
Published in:
Formal Methods Syst. Des. (2015)
Keyphrases
</>
multi party
privacy preserving
open source
secret sharing
mental states
human communication
real world
turn taking
cooperative
model checking
description language
software engineering
domain specific
distributed systems
multiagent systems
audio video