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