%0 Journal Article %1 journals/lmcs/ChenDSY17 %A Chen, Tzu-Chun %A Dezani-Ciancaglini, Mariangiola %A Scalas, Alceste %A Yoshida, Nobuko %D 2017 %J Log. Methods Comput. Sci. %K dblp %N 2 %T On the Preciseness of Subtyping in Session Types. %U http://dblp.uni-trier.de/db/journals/lmcs/lmcs13.html#ChenDSY17 %V 13

@article{journals/lmcs/ChenDSY17, added-at = {2021-10-14T00:00:00.000+0200}, author = {Chen, Tzu-Chun and Dezani-Ciancaglini, Mariangiola and Scalas, Alceste and Yoshida, Nobuko}, biburl = {https://www.bibsonomy.org/bibtex/226f82472ce9922beb565c14049fb8f33/dblp}, ee = {https://doi.org/10.23638/LMCS-13(2:12)2017}, interhash = {e8148ed7ef7d6f6efd66cd080f34b33e}, intrahash = {26f82472ce9922beb565c14049fb8f33}, journal = {Log. Methods Comput. Sci.}, keywords = {dblp}, number = 2, timestamp = {2024-04-09T01:50:53.000+0200}, title = {On the Preciseness of Subtyping in Session Types.}, url = {http://dblp.uni-trier.de/db/journals/lmcs/lmcs13.html#ChenDSY17}, volume = 13, year = 2017 }