On the preciseness of subtyping in session types: 10 years later

Chen T-C, Dezani M, Yoshida N

The PPDP Most Influential Paper 10-Year Award for our work [11]
was a delightful surprise. We subsequently reviewed the subsequent
literature to see how our results have been utilised. This short note
aims to capture crucial references without missing too many.

Keywords:

subtyping

,

session types

,

soundness and completeness

,

π-calculus