most citedThree Subtyping Algorithms for Binary Session Types and their Complexity Analyses

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

collaborators
Showing cs.PLShow all

1 paper · 1 filter

cs.PL2024

Top-Down or Bottom-Up? Complexity Analyses of Synchronous Multiparty Session Types

Thien Udomsrirungruang, Nobuko Yoshida

Multiparty session types provide a type discipline for ensuring communication safety, deadlock-freedom and liveness for multiple concurrently running participants. The original for…