Tzu-Chun Chen, Mariangiola Dezani-Ciancaglini, Nobuko Yoshida. On the Preciseness of Subtyping in Session Types. In Olaf Chitil, Andy King, Olivier Danvy, editors, Proceedings of the 16th International Symposium on Principles and Practice of Declarative Programming, Kent, Canterbury, United Kingdom, September 8-10, 2014. pages 135-146, ACM, 2014. [doi]
Abstract is missing.