Subtyping and Locality in Distributed Higher Order Mobile Processes (extended abstract).
Item Type:Conference Paper
Citation:Nobuko Yoshida and Matthew Hennessy., Subtyping and Locality in Distributed Higher Order Mobile Processes (extended abstract)., Lecture Notes in Computer Science, Proceedings of of CONCUR'99, 1664, Springer-Verlag, 1999, 557-572
Subtyping.pdf (Published (author's copy) - Peer Reviewed) 159.3Kb
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 l-calculus and IO-subtyping of the p-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 a more general channel constraints studied by Sewell in a higher-order distributed setting.
Author: HENNESSY, MATTHEW
Type of material:Conference Paper
Availability:Full text available