Fearless Asynchronous Communications with Timed Multiparty Session Protocols.

Ping Hou Nicolas Lagaillardie Nobuko Yoshida

Published in: CoRR (2024)

Keyphrases

multi party
privacy preserving
petri net
group communication
secret sharing
state machines
communication systems
communication networks
turn taking
timed automata
mental states
description language
human communication
audio video
open source