From the 1 of 3 linked papers with an AI index.
2 citations · 2 across the 2 of their papers we have counts for
Showing cs.PLShow all
2 papers · 1 filter
cs.PL2026★ 2 cited
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…
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…