dc.contributor.author | HENNESSY, MATTHEW | |
dc.date.accessioned | 2011-06-07T15:39:44Z | |
dc.date.available | 2011-06-07T15:39:44Z | |
dc.date.issued | 1999 | |
dc.date.submitted | 1999 | en |
dc.identifier.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 | en |
dc.identifier.other | Y | |
dc.description | PUBLISHED | en |
dc.description.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. | en |
dc.format.extent | 557-572 | en |
dc.language.iso | en | en |
dc.publisher | Springer-Verlag | en |
dc.relation.ispartofseries | 1664; | |
dc.rights | Y | en |
dc.subject | Computer science | en |
dc.subject | distributed systems | en |
dc.title | Subtyping and Locality in Distributed Higher Order Mobile Processes (extended abstract). | en |
dc.type | Conference Paper | en |
dc.type.supercollection | scholarly_publications | en |
dc.type.supercollection | refereed_publications | en |
dc.identifier.peoplefinderurl | http://people.tcd.ie/mcbhenne | |
dc.identifier.rssinternalid | 50979 | |
dc.identifier.rssuri | http://www.springerlink.com/content/xp4chhq85pr3qxbc/fulltext.pdf | en |
dc.identifier.uri | http://hdl.handle.net/2262/56481 | |