Statically Verified Refinements for Multiparty Protocols.

Fangyi Zhou Francisco Ferreira Raymond Hu Rumyana Neykova Nobuko Yoshida

Published in: CoRR (2020)

Keyphrases

multi party
privacy preserving
secret sharing
description language
human communication
turn taking
computational intelligence
distributed systems
mental states