# Paper on Subtyping and Locality in Distributed Higher-order Processes

We are pleased to announce the following technical report

SUBTYPING AND LOCALITY IN
DISTRIBUTED HIGHER ORDER PROCESSES

by
Nobuko Yoshida and Matthew Hennessy

is available from

http://www.cogs.susx.ac.uk/              (technical report)
http://www.cogs.susx.ac.uk/users/nobuko  (extended abstract)

Best regards,

Nobuko Yoshida
University of Sussex

--------------------------------------------------------------------
ABSTRACT

This paper studies one important aspect of distributed systems,
locality, using a calculus of distributed higher-order processes in
which not only basic values or channels, but also parameterised
processes are transferred across distinct locations. An integration of
the subtyping of $\lambda$-calculus and IO-subtyping of the
$\pi$-calculus offers a tractable tool to control the locality of
channel names in the presence of distributed higher order processes.
Using a local restriction on channel capabilities together with a
subtyping relation, locality is preserved during reductions even if we
allow new receptors to be dynamically created by instantiation of
arbitrary higher-order values and processes.

We also show that our method is applicable to more general
constraints, based on local and global channel capabilities.

--------------------------------------------------------------------