Showing cs.PLShow all
2 papers · 1 filter
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.PL2024
Less is More Revisited: Association with Global Protocols and Multiparty Sessions
Ping Hou, Nobuko Yoshida, Iona Kuhn
Ensuring correctness of communication in distributed systems remains challenging. To address this, Multiparty session types (MPST), initially introduced by Honda et al. [52, 53], o…