Three subtyping algorithms for binary session types and their complexity analyses (Proceedings 15th Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software (PLACES 2024), 2024)

(untitled) - Udomsrirungruang, T; Yoshida, N