Tzu-Chun Chen, Mariangiola Dezani-Ciancaglini, Alceste Scalas, Nobuko Yoshida. On the Preciseness of Subtyping in Session Types. Logical Methods in Computer Science, 13(2), 2017. [doi]
@article{ChenDSY17,
title = {On the Preciseness of Subtyping in Session Types},
author = {Tzu-Chun Chen and Mariangiola Dezani-Ciancaglini and Alceste Scalas and Nobuko Yoshida},
year = {2017},
doi = {10.23638/LMCS-13(2:12)2017},
url = {https://doi.org/10.23638/LMCS-13(2:12)2017},
researchr = {https://researchr.org/publication/ChenDSY17},
cites = {0},
citedby = {0},
journal = {Logical Methods in Computer Science},
volume = {13},
number = {2},
}