Location-independent communication for mobile agents: a two-level architecture (1999) [57 citations — 29 self]
Popular Tags
No tags have been applied to this document.
BibTeX | Add To MetaCart
@INPROCEEDINGS{Sewell99location-independentcommunication,author = {Peter Sewell and Pawe L T. Wojciechowski and Benjamin C. Pierce},
title = {Location-independent communication for mobile agents: a two-level architecture},
booktitle = {In Internet Programming Languages, LNCS 1686},
year = {1999},
pages = {1--31},
publisher = {Springer-Verlag}
}
Years of Citing Articles
Abstract:
Abstract. We study communication primitives for interaction between mobile agents. They can be classied 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. We propose a simple calculus of agents that allows implementations of such distributed infrastructure algorithms to be expressed as encodings, or compilations, of the whole calculus into the fragment with only location dependent communication. These encodings give executable descriptions of the algorithms, providing a clean implementation strategy for prototype languages. The calculus is equipped with a precise semantics, providing a solid basis for understanding the algorithms and for reasoning about their correctness and robustness. Two sample
