Separation and Encodability in Mixed Choice Multiparty Sessions (Technical Report).

Kirstin Peters Nobuko Yoshida

Published in: CoRR (2024)

Keyphrases

multi party
technical report
privacy preserving
description language
secret sharing
mental states
human communication
turn taking
evolutionary algorithm