On the Preciseness of Subtyping in Session Types: 10 Years Later.

Tzu-Chun Chen, Mariangiola Dezani-Ciancaglini, Nobuko Yoshida

Browse the full PPDP paper archive.