Subtyping and locality in distributed higher order processes /
Yoshida, Nobuko.
Hennessy, Matthew.
University of Sussex.School of Cognitive and Computing Sciences.
Brighton : University of Sussex, School of Cognitive and Computing Sciences,
1999.
Caption title.