On the Preciseness of Subtyping in Session Types - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Tzu-Chun Chen, Mariangiola Dezani-Ciancaglini, Alceste Scalas, Nobuko Yoshida. On the Preciseness of Subtyping in Session Types. Logical Methods in Computer Science, 13(2), 2017. [doi]

This author has not been identified. Look up 'Tzu-Chun Chen' in GoogleThis author has not been identified. It may be one of the following persons:

Mariangiola Dezani-Ciancaglini

Look up 'Mariangiola Dezani-Ciancaglini' in GoogleThis author has not been identified. Look up 'Alceste Scalas' in GoogleThis author has not been identified. Look up 'Nobuko Yoshida' in Google

runs on WebDSL