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.LOShow all

1 paper · 1 filter

cs.LO2025

Crash-Stop Failures in Asynchronous Multiparty Session Types

Adam D. Barwell, Ping Hou, Nobuko Yoshida +1

Session types provide a typing discipline for message-passing systems. However, their theory often assumes an ideal world: one in which everything is reliable and without failures.…