MobilityReadingGroup

π-calculus, Session Types research at the University of Oxford

On the Preciseness of Subtyping in Session Types: 10 Years Later
Tzu-Chun CHEN , Mariangiola DEZANI-CIANCAGLINI , Nobuko YOSHIDA
Principles and Practice of Declarative Programming (PPDP 2024). p.

The PPDP Most Influential Paper 10-Year Award for our work [11] was a wonderful surprise for us. We then looked at how the results in that paper have been used in the following literature. As outcome we wrote this short note in the hope of not missing too many crucial references.

Paper Electronic version via DOI 
@inproceedings{CDY2024,
  author = {Tzu-Chun Chen and Mariangiola Dezani-Ciancaglini and Nobuko Yoshida},
  title = {{On the Preciseness of Subtyping in Session Types: 10 Years Later}},
  booktitle = {Principles and Practice of Declarative Programming},
  pages = {--},
  publisher = {ACM},
  year = 2024
}

@inproceedings{CDY2024,
  author = {Tzu-Chun Chen and Mariangiola Dezani-Ciancaglini and Nobuko Yoshida},
  title = {{On the Preciseness of Subtyping in Session Types: 10 Years Later}},
  booktitle = {Principles and Practice of Declarative Programming},
  pages = {--},
  publisher = {ACM},
  doi = "10.1145/3678232.3678258",
  year = 2024
}