| Alternate document: Details Location-Independent Communication for Mobile Agents: a Two-Level Architecture (98) Peter Sewell, Pawel T. Wojciechowski, Benjamin C. |
(Enter summary)
Abstract: this paper we study the first of these, considering the design, semantic definition and implementation
of communication primitives by which mobile agents can interact.
Communication primitives can be classified into two groups. At a low level there are location
dependent primitives that require an application programmer to know the current site of a mobile
agent in order to communicate with it. If a party to such communications migrates then the application
program must explicitly track its new ... (Update)
Cited by: More
Secure Composition of Insecure Components - Sewell, Vitek (1999)
(Correct)
Mobility Types for Mobile Ambients - Cardelli, Ghelli, Gordon (1999)
(Correct)
Linear Forwarders - Gardner, Laneve, Wischik (2003)
(Correct)
Active bibliography (related documents): More All
0.0: Nomadic Pict: Correct Communication Infrastructure for.. - Unyapoth, Sewell (2001)
(Correct)
0.0: Location-Independent Communication for Mobile Agents.. - Sewell.. (1998)
(Correct)
0.0: From Rewrite Rules to Bisimulation Congruences - Sewell (1998)
(Correct)
Similar documents based on text: More All
0.3: Algorithms for Location-Independent Communication between.. - Wojciechowski (2001)
(Correct)
0.3: Nomadic Pict: Language and Infrastructure Design for Mobile.. - Wojciechowski, Sewell (1999)
(Correct)
0.3: Global/Local Subtyping for a Distributed π-calculus - Sewell (1997)
(Correct)
Related documents from co-citation: More All
24: Mobile ambients
- Cardelli, Gordon - 1998
24: Information and Computation (context) - Milner, Parrow et al. - 1992
22: A calculus of mobile agents
- Fournet, Gonthier et al. - 1996
BibTeX entry: (Update)
Peter Sewell, Pawe/l T. Wojciechowski, and Benjamin C. Pierce. Location independence for mobile agents. In Workshop on Internet Programming Languages, Chicago, May 1998. http://citeseer.ist.psu.edu/sewell98location.html More
@inproceedings{ sewell99location,
author = "Peter Sewell and Pawel Wojciechowski and Benjamin Pierce",
title = "Location Independence for Mobile Agents",
booktitle = "Proceedings of {ICCL} '98",
volume = "1686",
publisher = "Springer Verlag",
editor = "H. E. Bal and B. Belkhouche and L. Cardelli",
year = "1999",
url = "citeseer.ist.psu.edu/sewell98location.html" }
Citations (may not include all citations):
854
Information and Computation (context) - Milner, Parrow et al. - 1992
291
A calculus of mobile agents
- Fournet, Gonthier et al. - 1996
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
39
local subtyping and capability inference for a distributed ß.. (context) - Sewell - 1998
28
On implementations and semantics of a concurrent programming..
- Sewell - 1997
1
Old wine in new bottles: Applying OS process migration techn..
- Milojicic, Guday et al. - 1997
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.cl.cam.ac.uk/users/pes20/): More
On Implementations and Semantics of a Concurrent Programming.. - Sewell (1997)
(Correct)
Global/Local Subtyping for a Distributed π-calculus - Sewell (1997)
(Correct)
Design Rules and Abstractions (from branching and real time) - Sewell (1996)
(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