| BDL02a (In proceedings)
|
| Author(s) | Lorenzo Bettini, Rocco De Nicola and Michele Loreti |
| Title | « Formalizing Properties of Mobile Agent Systems » |
| In | Proc. of Coordination 2002 |
| Series | LNCS |
| Editor(s) | F. Arbab and C. Talcott |
| Number | 2315 |
| Page(s) | 72-87 |
| Year | 2002 |
| Publisher | Springer |
| URL | http://music.dsi.unifi.it/papers/coord2002-agentprop.ps.gz |
| Abstract |
| The wide-spreading of Internet has stimulated the introduction of new programming paradigms and languages that model interactions among hosts by means of mobile agents, and that are centered around the notions of location awareness. In this paper we show how to use formal tools, specifically a modal logic, for formalizing properties for mobile agent systems. We concentrate on one of these new languages, Klaim, and we use it to specify a system that permits maintaining the software installed on several heterogeneous computers distributed over a network by taking advantage of the mobile agent paradigm. |
@inproceedings{BDL02a,
number = {2315},
author = {Bettini, Lorenzo and De Nicola, Rocco and Loreti, Michele},
series = {LNCS},
booktitle = {Proc. of Coordination 2002},
editor = {F. Arbab and C. Talcott},
url = {http://music.dsi.unifi.it/papers/coord2002-agentprop.ps.gz},
title = {{Formalizing Properties of Mobile Agent Systems}},
abstract = {The wide-spreading of Internet has stimulated the introduction of
new programming paradigms and languages that model interactions
among hosts by means of mobile agents, and that are centered
around the notions of location awareness. In this paper we show
how to use formal tools, specifically a modal logic, for
formalizing properties for mobile agent systems. We concentrate on
one of these new languages, Klaim, and we use it to specify a
system that permits maintaining the software installed on several
heterogeneous computers distributed over a network by taking
advantage of the mobile agent paradigm.},
publisher = {Springer},
year = {2002},
pages = {72-87},
}
This document was generated by bib2html 3.3.
(Modified by Luca Paolini, under the GNU General Public License)
