Tom Chothia, Ian Stark  @ NUS Home/Search
Context Related
| homepages.inf.ed.ac.uk/sta...encdal.pdf Cached: PS.gz PS PDF Image Update Help From: homepages.inf.ed.a...publications (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. (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.4%: Encoding Distributed Areas and Local Communication into the.. - Chothia, Stark (2001) (Correct)
11.5%: 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.2: An Example Paper - Name (Correct)
0.2: Unknown - Aceto Panangaden Eds (Correct)
0.2: How Many Argument Digits are Needed to Produce n Result Digits? - Heckmann (1999) (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.comp.nus.edu.sg/682919.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.comp.nus.edu.sg/682919.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://homepages.inf.ed.ac.uk/stark/publications.html): More
Thimble - Threads for MLj - Stark (Correct)
Automatic Verification of Java Design Patterns - Alex Blewitt Alan (Correct)
Observable Properties of Higher Order Functions - That Dynamically Create (Correct)
Online articles have much greater impact More about CiteSeer.IST at NUS Add search form to your site Submit documents Feedback
CiteSeer.IST at NUS - Copyright Penn State and NEC. Hosted by the School of Computing, National University of Singapore.