2 papers
cs.PL2024
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…
cs.PL2022
Stay Safe under Panic: Affine Rust Programming with Multiparty Session Types
Nicolas Lagaillardie, Rumyana Neykova, Nobuko Yoshida
Communicating systems comprise diverse software components across networks. To ensure their robustness, modern programming languages such as Rust provide both strongly typed channe…