On the Preciseness of Subtyping in Session Types

Tzu-chun Chen, Mariangiola Dezani-Ciancaglini, Alceste Scalas +1

Subtyping in concurrency has been extensively studied since early 1990s as one of the most interesting issues in type theory. The correctness of subtyping relations has been usuall…