Nobuko Yoshida, Matthew Hennessy  Home/Search
Context Related
| cogs.susx.ac.uk/users/n...dhipi_s.ps.gz Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: cogs.susx.ac.uk/users/nob...index (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
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... (Update)
Cited by: More
Assigning Types to Processes - Yoshida, Hennessy (2000) (Correct)
The M-calculus: A Higher-Order Distributed Process Calculus - Schmitt, Stefani (2003) (Correct)
O'KLAIM: a coordination language with mobile mixins - Bettini, Bono, Venneri (2004) (Correct)
Similar documents (at the sentence level):
28.1%: Subtyping and Locality in Distributed Higher Order Processes .. - Yoshida, Hennessy (1999) (Correct)
Active bibliography (related documents): More All
0.0: Assigning Types to Processes (Extended Abstract) - Yoshida, Hennessy (2000) (Correct)
0.0: Compiler Correctness for Parallel Languages - Wand (1994) (Correct)
0.0: Full Abstractness for a Functional/Concurrent Language With .. - Hartonas, Hennessy (1998) (Correct)
Similar documents based on text: More All
0.3: Minimality and Separation Results on Asynchronous Mobile.. - Yoshida (1998) (Correct)
0.3: Game Theoretic Analysis Of Call-By-Value Computation - Honda, YOSHIDA (1997) (Correct)
0.2: safeDpi: a language for controlling mobile code - Hennessy, Rathke, Yoshida (2003) (Correct)
Related documents from co-citation: More All
32: Controlling interference in ambients - Levi, Sangiorgi - 2000
27: Trust and partial typing in open systems of mobile agents - Riely, Hennessy - 1998
27: A calculus of mobile agents - Fournet, Gonthier et al. - 1996
BibTeX entry: (Update)
N. Yoshida and M. Hennessy. Subtyping and Locality in Distributed Higher Order Processes. Technical Report 01/99, University of Sussex, May 1999. http://citeseer.ist.psu.edu/yoshida99subtyping.html More
@inproceedings{ yoshidasubtyping,
author = "Nobuko Yoshida and Matthew Hennessy",
title = "Subtyping and Locality in Distributed Higher Order Processes",
pages = "557--572",
url = "citeseer.ist.psu.edu/yoshida99subtyping.html" }
Citations (may not include all citations):115 An asynchronous model of locality (context) - Amadio - 1997
22 Translating Core Facile - Amadio - 1994
2 Computer and Communications Security (context) - Abadi, Gordon - 1997 ACM
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.cogs.susx.ac.uk/users/nobuko/index.html): More
Game Theoretic Analysis Of Call-By-Value Computation - Honda, YOSHIDA (1997) (Correct)
Minimality and Separation Results on Asynchronous Mobile.. - Yoshida (1998) (Correct)
Minimality and Separation Results on Asynchronous Mobile.. - Yoshida (1998) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC