登入
選單
返回
Google圖書搜尋
Location-independent Communication for Mobile Agents
Peter Sewell
Paweł T. Wojciechowski
Benjamin C. Pierce
其他書名
A Two-level Architecture
出版
University of Cambridge, Computer Laboratory
, 1999
URL
http://books.google.com.hk/books?id=834hAQAAIAAJ&hl=&source=gbs_api
註釋
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. 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 infrastructure algorithms are presented as encodings."
