TY  - CHAP
Y1  - 2002///
A1  - Bettini, Lorenzo
A1  - De Nicola, Rocco
A1  - Loreti, Michele
PB  - Springer
T3  - Lecture Notes in Computer Science
SP  - 72
ED  - Arbab, Farhad
ED  - L. Talcott, Carolyn
AV  - none
TI  - Formalizing Properties of Mobile Agent Systems
UR  - http://dx.doi.org/10.1007/3-540-46000-4_9
SN  - 3-540-43410-0
M1  - 2315
N2  - 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.
ID  - eprints320
T2  - Coordination Models and Languages (COORDINATION 2002)
EP  - 87
ER  -