Precise subtyping for asynchronous multiparty sessions.

Silvia Ghilezan Jovanka Pantovic Ivan Prokic Alceste Scalas Nobuko Yoshida

Published in: Proc. ACM Program. Lang. (2021)

Keyphrases

multi party
privacy preserving
secret sharing
online discussion
description language
human communication
turn taking