<> "The repository administrator has not yet configured an RDF license."^^ . <> . . . "A Modal Logic for KLAIM"^^ . "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, and on allocation environments that associate logical localities to physical sites. 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 to describe the effect of actions over the different sites. The logic is equipped with a consistent and complete proof system that enables one to prove properties of mobile systems. "^^ . "2000" . . "1816" . . "Springer"^^ . . "Springer"^^ . . . . . . . . . . . . . . "Rocco"^^ . "De Nicola"^^ . "Rocco De Nicola"^^ . . "Michele"^^ . "Loreti"^^ . "Michele Loreti"^^ . . "Teodor"^^ . "Rus"^^ . "Teodor Rus"^^ . . . . . . "A Modal Logic for KLAIM (PDF)"^^ . . . . . . . . . . . "MLK_2000a.pdf"^^ . . . "A Modal Logic for KLAIM (Image (JPEG))"^^ . . . . . . "preview.jpg"^^ . . . "A Modal Logic for KLAIM (Indexer Terms)"^^ . . . . . . "indexcodes.txt"^^ . . "HTML Summary of #332 \n\nA Modal Logic for KLAIM\n\n" . "text/html" . . . "QA75 Electronic computers. Computer science"@en . .