2 papers
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…
cs.PL2024
Three Subtyping Algorithms for Binary Session Types and their Complexity Analyses (full version)
Thien Udomsrirungruang, Nobuko Yoshida
Session types are a type discipline for describing and specifying communication behaviours of concurrent processes. Session subtyping, firstly introduced by Gay and Hole, is widely…