Subtyping and Locality in Distributed Higher Order Mobile Processes (extended abstract).
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-572Download Item:
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 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's Homepage:
http://people.tcd.ie/mcbhenneDescription:
PUBLISHED
Author: HENNESSY, MATTHEW
Publisher:
Springer-VerlagType of material:
Conference PaperSeries/Report no:
1664;Availability:
Full text availableKeywords:
Computer science, distributed systemsMetadata
Show full item recordLicences: