Subtyping and Locality in Distributed Higher Order Processes (Extended Abstract) (1999)

by Nobuko Yoshida , Matthew Hennessy
Citations:34 - 4 self