Peter Sewell, Pawel T. Wojciechowski, Benjamin C. Pierce  Home/Search
Context Related
| upenn.edu/~bcpierce/papers...wipl.ps.gz cl.cam.ac.uk/~pes20/wipltr.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: upenn.edu/~bcpierce/paper...index (more) From: cl.cam.ac.uk/~pes20/index Homepages: B.Pierce |
Rate this article:      (best)Comment on this article |
Abstract: We study communication primitives for interaction between mobile agents. They can be classified into two groups. At a low level there are location dependent primitives that require a programmer to know the current site of a mobile agent in order to communicate with it. At a high level there are location independent primitives that allow communication with a mobile agent irrespective of its current site and of any migrations. Implementation of these requires delicate distributed infrastructure.... (Update)
Cited by: More
Type-Safe Distributed Programming for OCaml - John Billings Peter (Correct)
Secure Composition of Insecure Components - Sewell, Vitek (1999) (Correct)
Actors: A Model for Reasoning about Open Distributed Systems - Agha, Thati, Ziaei (2001) (Correct)
Similar documents (at the sentence level):
53.2%: Nomadic Pict: Language and Infrastructure Design for Mobile.. - Wojciechowski (2000) (Correct)
8.1%: The Nomadic Pict System Release 1.0a - Documentation And.. - Wojciechowski (2000) (Correct)
Active bibliography (related documents): More All
1.2: Location-Independent Communication for Mobile Agents.. - Sewell.. (1998) (Correct)
0.6: Secure Composition of Untrusted Code: Wrappers and Causality.. - Sewell, Vitek (1999) (Correct)
0.4: Symmetric Action Calculi - Gardner, Wischik (1999) (Correct)
Similar documents based on text: More All
1.2: Nomadic Pict: Correct Communication Infrastructure for.. - Unyapoth, Sewell (2001) (Correct)
0.7: Algorithms for Location-Independent Communication between.. - Wojciechowski (2001) (Correct)
0.7: Nomadic Pict: Language and Infrastructure Design for Mobile.. - Wojciechowski, Sewell (1999) (Correct)
Related documents from co-citation: More All
22: A calculus of mobile agents - Fournet, Gonthier et al. - 1996
21: Mobile ambients - Cardelli, Gordon - 1998
21: Information and Computation (context) - Milner, Parrow et al. - 1992
BibTeX entry: (Update)
Peter Sewell, Pawe/l T. Wojciechowski, and Benjamin C. Pierce. Location-independent communication for mobile agents: a twolevel architecture. Submitted for publication. Draft available from http://www.cl.cam.ac.uk/users/pes20/, 1998. http://citeseer.ist.psu.edu/article/sewell98locationindependent.html More
@article{ sewell99locationindependent,
author = "Peter Sewell and Pawe{\l} T. Wojciechowski and Benjamin C. Pierce",
title = "Location-Independent Communication for Mobile Agents: {A} Two-Level Architecture",
journal = "Lecture Notes in Computer Science",
volume = "1686",
pages = "1+",
year = "1999",
url = "citeseer.ist.psu.edu/article/sewell98locationindependent.html" }
Citations (may not include all citations):854 Information and Computation (context) - Milner, Parrow et al. - 1992
718 Distributed algorithms (context) - Lynch - 1996
410 Mobile ambients - Cardelli, Gordon - 1998
294 An object calculus for asynchronous communication - Honda, Tokoro - 1991
291 A calculus of mobile agents - edric, Georges et al. - 1996
254 Theoretical Computer Science (context) - Berry, Boudol et al. - 1992
205 Mobile agents: Are they a good idea - Chess, Harrison et al. - 1997
200 Pict: A programming language based on the pi-calculus - Pierce, Turner - 1997
194 Functions as processes (context) - Milner - 1992
167 Resource access control in systems of mobile agents - Hennessy, Riely - 1998
159 CML: A higher-order concurrent language (context) - Reppy - 1991
116 A typed language for distributed mobile processes - Riely, Hennessy - 1998
114 The Polymorphic Pi-calculus: Theory and Implementation - Turner - 1996
73 Concurrent objects in a process calculus - Pierce, Turner - 1994
61 Localities and failures - Amadio, Prasad - 1994
42 Distributed processes and location failures - Riely, Hennessy - 1997
39 local subtyping and capability inference for a distributed .. (context) - Sewell - 1998
38 Type-safe execution of mobile agents in anonymous networks - Hennessy, Riely - 1998
37 and Sigbjorn Finne (context) - Jones, Gordon - 1996
32 Location independence for mobile agents - Sewell, Wojciechowski et al. - 1998
31 A calculus with code mobility - Sekiguchi, Yonezawa - 1997
29 Mobile Objects and Agents (context) - Milojicic, LaForge et al. - 1998
28 On implementations and semantics of a concurrent programming.. - Sewell - 1997
22 Dynamic typing in a statically typed language (context) - Abadi, Cardelli et al. - 1991
15 and Tsung-Min Kuo (context) - Thomsen, Leth - 1996
13 Towards a calculus of mobile computations (context) - Vitek, Castagna - 1998
10 Modelling IP mobility - Amadio, Prasad - 1998
6 INRIA Soa-Antipolis (context) - erard, Asynchrony et al. - 1992
4 local subtyping for a distributed -calculus (context) - Sewell - 1997
2 Amber and the amber machine (context) - Cardelli - 1986
1 Implementations available from http://pauillac (context) - calculus - 1998
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.cis.upenn.edu/~bcpierce/papers/index.html): More
A Record Calculus Based on Symmetric Concatenation - Harper, Pierce (1991) (Correct)
Typing and Subtyping for Mobile Processes - Pierce, Sangiorgi (1996) (Correct)
Object-Oriented Programming Without Recursive Types - Pierce, Turner (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