<> "The repository administrator has not yet configured an RDF license."^^ . <> . . . "A modal logic for mobile agents"^^ . "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."^^ . "2004" . "5" . "1" . . "ACM"^^ . . . "ACM Transactions on Computational Logic "^^ . . . "1557945X" . . . . . . . . . . "Michele"^^ . "Loreti"^^ . "Michele Loreti"^^ . . "Rocco"^^ . "De Nicola"^^ . "Rocco De Nicola"^^ . . . . . "HTML Summary of #315 \n\nA modal logic for mobile agents\n\n" . "text/html" . . . "QA75 Electronic computers. Computer science"@en . .