relation: http://eprints.imtlucca.it/315/
title: A modal logic for mobile agents
creator: Loreti, Michele
creator: De Nicola, Rocco
subject: QA75 Electronic computers. Computer science
description: Klaim is an experimental programming language that supports a programming paradigm where both processes and data can be moved across different computing environments. The language relies on the use of explicit localities. This paper presents a temporal logic for specifying properties of Klaim programs. The logic is inspired by Hennessy-Milner Logic (HML) and the μ-calculus, but has novel features that permit dealing with state properties and impact of actions and movements over the different sites. The logic is equipped with a complete proof system that enables one to prove properties of mobile systems.
publisher: ACM
date: 2004
type: Article
type: PeerReviewed
identifier:   Loreti, Michele and De Nicola, Rocco  A modal logic for mobile agents.  ACM Transactions on Computational Logic , 5 (1).  pp. 79-128.  ISSN 1557-945X      (2004)  
relation: http://doi.acm.org/10.1145/963927.963930
relation: 10.1145/963927.963930