Dynamically Updatable Multiparty Session Protocols: Generating Concurrent Go Code from Unbounded Protocols.

David Castro-Perez Nobuko Yoshida

Published in: ECOOP (2023)

Keyphrases

multi party
privacy preserving
mental states
secret sharing
case study
cooperative
multi agent systems
dynamic environments
human communication