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…