Suptyping and Locality in Distributed Higher Order Processes (extended abstract).

Nobuko Yoshida, Matthew Hennessy

Browse the full CONCUR paper archive.