relation: http://eprints.imtlucca.it/320/
title: Formalizing Properties of Mobile Agent Systems
creator: Bettini, Lorenzo
creator: De Nicola, Rocco
creator: Loreti, Michele
subject: QA75 Electronic computers. Computer science
description: 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
contributor: Arbab, Farhad
contributor: L. Talcott, Carolyn
date: 2002
type: Book Section
type: PeerReviewed
identifier:   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)  
relation: http://dx.doi.org/10.1007/3-540-46000-4_9
relation: 10.1007/3-540-46000-4_9