1 citations · 1 across the 3 of their papers we have counts for
3 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★ 1 cited
Three Subtyping Algorithms for Binary Session Types and their Complexity Analyses
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…
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…