Chronological Overview 
 Type-Hierarchical Overview 
Formal Methods in Computing
(Most of the papers antecedent to 1995
are not included in the list)
FRAMES  NO FRAME 

cdsy17 (Article)
Author(s) Tzu-Chun Chen, Mariangiola Dezani-Ciancaglini, Alceste Scalas and Nobuko Yoshida
Title« On the Preciseness of Subtyping in Session Types »
JournalLMCS
Volume13
Page(s)1--61
Year2017
URLhttps://arxiv.org/pdf/1610.00328v3.pdf

BibTeX code

@article{cdsy17,
  volume = {13},
  author = {Tzu-Chun Chen and Mariangiola Dezani-Ciancaglini and Alceste Scalas
            and Nobuko Yoshida},
  issue = {2},
  url = {https://arxiv.org/pdf/1610.00328v3.pdf},
  title = {On the Preciseness of Subtyping in Session Types},
  year = {2017},
  journal = {{LMCS}},
  pages = {1--61},
}


 Chronological Overview 
 Type-Hierarchical Overview 
Formal Methods in Computing
(Most of the papers antecedent to 1995
are not included in the list)
FRAMES  NO FRAME 

This document was generated by bib2html 3.3.
(Modified by Luca Paolini, under the GNU General Public License)

Valid HTML 4.01!