works on
deadlock freedom 1large language models 1protocol synthesis 1refinement 1session types 1

From the 1 of 3 linked papers with an AI index.

most citedLess is More Revisited: Association with Global Protocols and Multiparty Sessions

2 citations · 2 across the 2 of their papers we have counts for

collaborators
Showing cs.PLShow all

1 paper · 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…