Logo eprints

Formalizing Properties of Mobile Agent Systems

Bettini, Lorenzo and De Nicola, Rocco and Loreti, Michele Formalizing Properties of Mobile Agent Systems. In: Coordination Models and Languages (COORDINATION 2002). Lecture Notes in Computer Science, 2315 . Springer, pp. 72-87. ISBN 3-540-43410-0 (2002)

Full text not available from this repository.


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.

Item Type: Book Section
Identification Number: 10.1007/3-540-46000-4_9
Funders: This work has been partially supported by EU within the FET—Global Computing initiative, project AGILE IST-2001-32747 and by MIUR project NAPOLI.
Subjects: Q Science > QA Mathematics > QA75 Electronic computers. Computer science
Research Area: Computer Science and Applications
Depositing User: Rocco De Nicola
Date Deposited: 08 Jun 2011 13:32
Last Modified: 11 Jul 2011 14:36
URI: http://eprints.imtlucca.it/id/eprint/320

Actions (login required)

Edit Item Edit Item