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

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