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|
|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|
Actions (login required)