Fearless Asynchronous Communications with Timed Multiparty Session Protocols

Ping Hou, Nicolas Lagaillardie, Nobuko Yoshida

Session types using affinity and exception handling mechanisms have been developed to ensure the communication safety of protocols implemented in concurrent and distributed program…