Login / Signup
Statically verified refinements for multiparty protocols.
Fangyi Zhou
Francisco Ferreira
Raymond Hu
Rumyana Neykova
Nobuko Yoshida
Published in:
Proc. ACM Program. Lang. (2020)
Keyphrases
</>
multi party
privacy preserving
secret sharing
human communication
turn taking
description language
artificial intelligence
case study
evolutionary algorithm
general purpose
human computer interaction
mental states