Tom Chothia, Ian Stark  Home/Search
Context Related
| lix.polytechnique....EXPRESS01Encode.ps 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: lix.polytechnique.fr/~tomc/ (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: We show how the #-calculus can express local communications within a distributed system, through an encoding of the local area #-calculus, an enriched system that explicitly represents names which are known universally but always refer to local information. Our translation replaces point-to-point communication with a system of shared local ethers; we prove that this preserves and reflects process behaviour. We give an example based on an internet service dmon, and investigate some limitations... (Update)
Context of citations to this paper: More
.... [host [Client ] host [Server ] Declarations = finger host , daytime host , print host , c net , w net An encoding of la# in # calculus is given in [10], but as the authors point out, it is divergent . Below we give a divergence free, uniform encoding of la# in #, and we state...
Cited by: More
The Local Area π-Calculus - Chothia (2003) (Correct)
On the Expressive Power of Polyadic Synchronisation in.. - Carbone, Maffeis (2002) (Correct)
Similar documents (at the sentence level):
12.5%: Encoding Distributed Areas and Local Communication into the.. - Chothia, Stark (2002) (Correct)
11.6%: A Distributed π-Calculus with Local Areas of Communication - Chothia, Stark (2001) (Correct)
11.1%: A Distributed Pi-Calculus with Local Areas of Communication - Chothia, Stark (2001) (Correct)
Active bibliography (related documents): More All
0.2: Mobile Objects as Mobile Processes - Merro, Kleist, Nestmann (2001) (Correct)
0.2: On Calculi For Mobility And Trust - Carbone (2002) (Correct)
0.1: Local pi-Calculus at Work: Mobile Objects as Mobile Processes - Merro, Kleist, Nestmann (2001) (Correct)
Similar documents based on text: More All
0.1: Thimble - Threads for MLj - Stark (Correct)
0.1: Unknown - Aceto Panangaden Eds (Correct)
0.1: Grail: A Functional Form for Imperative Mobile Code - Beringer, MacKenzie, Stark (2003) (Correct)
Related documents from co-citation: More All
2: calculus with local areas of communication (context) - Chothia, Stark et al. - 2001
2: Theoretical Computer Science (context) - Berry, Boudol et al. - 1992
BibTeX entry: (Update)
Chothia, T. and I. Stark, Encoding distributed areas and local communication into the pi-calculus, in: Proc. of EXPRESS'01, ENTCS 52.1 (2002). http://citeseer.ist.psu.edu/chothia01encoding.html More
@misc{ chothia02encoding,
author = "T. Chothia and I. Stark",
title = "Encoding distributed areas and local communication into the pi-calculus",
text = "Chothia, T. and I. Stark, Encoding distributed areas and local communication
into the pi-calculus, in: Proc. of EXPRESS'01, ENTCS 52.1 (2002).",
year = "2002",
url = "citeseer.ist.psu.edu/chothia01encoding.html" }
Citations (may not include all citations):854 Information and Computation (context) - Milner, Parrow et al. - 1992
294 An object calculus for asynchronous communication - Honda, Tokoro - 1991
254 Theoretical Computer Science (context) - Boudol, Castellani et al. - 1993
167 Resource access control in systems of mobile agents - Hennessy, Riely - 1998
137 Laboratory for Foundations of Computer Science (context) - Milner, -calculus et al. - 1991
114 The Polymorphic Pi-Calculus: Theory and Implementation - Turner - 1996
94 Seal: A framework for secure mobile computations - Castagna, Vitek - 1999
56 Behavioral equivalence in the polymorphic pi-calculus - Pierce, Sangiorgi - 2000
46 Secrecy and group creation - Cardelli, Ghelli et al. - 2000
45 A theory of processes with localities (context) - Boudol, Castellani et al. - 1994
45 Asynchrony and the #-calculus (context) - Boudol - 1992
42 Globallocal subtyping and capability inference distributed #.. - Global, subtyping et al. - 1998
42 Distributed processes and location failures - Riely, Hennessy - 1997
34 Theoretical Computer Science (context) - Amadio, Castellani et al. - 1998
30 Locality and non-interleaving semantics in calculi for mobil.. - Sangiorgi - 1996
28 Mobile ambients (context) - Cardelli, Gordon - 1998
16 An asynchronous distributed implementation for mobile ambien.. - Fournet, Levy et al. - 2000
12 Lazy functions and mobile processes - Sangiorgi - 1995
9 calculus and applications to distributed objects (context) - Merro, the - 2000
5 calculus with local areas of communication (context) - Chothia, Stark et al. - 2001
4 From higher-order #-calculus to #-calculus in the presence o.. (context) - Vivas, Dam - 1998
2 To appear in Information and Computation; a version appeared.. (context) - Nestmann, Pierce et al. - 1999
http://www.iana.org/numbers.html\#P
Documents on the same site (http://www.lix.polytechnique.fr/~tomc/): More
The Local Area π-Calculus - Chothia (2003) (Correct)
Abstractions for Fault-Tolerant Global Computing - Chothia, Duggan (2004) (Correct)
Guessing Attacks in the pi-calculus with a Computational.. - Chothia (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