Three Subtyping Algorithms for Binary Session Types and their Complexity Analyses. - Thien Udomsrirungruang; Nobuko Yoshida (PLACES@ETAPS, 2024)

Top-Down or Bottom-Up? Complexity Analyses of Synchronous Multiparty Session Types. - Thien Udomsrirungruang; Nobuko Yoshida (Proc. ACM Program. Lang., 2025)