TY  - RPRT
TI  - On the Preciseness of Subtyping in Session Types
AU  - Tzu-chun Chen
AU  - Mariangiola Dezani-Ciancaglini
AU  - Alceste Scalas
AU  - Nobuko Yoshida
PY  - 2017
DO  - 10.23638/lmcs-13(2:12)2017
UR  - https://arxiv.org/abs/1610.00328
ID  - 1610.00328
ER  -