Subtyping and Locality in Distributed Higher Order Mobile Processes (extended abstract (1999)

by Nobuko Yoshida, Matthew Hennessy
Venue:In Jos C.M. Baeten and Sjouke Mauw, editors, CONCUR’99, volume 1664 of Lecture Notes in Computer Science