TY  - CHAP
ED  - S. de Boer, Frank
ED  - M. Bonsangue, Marcello
ED  - Graf, Susanne
ED  - P. de Roever, Willem
A1  - De Nicola, Rocco
A1  - Loreti, Michele
PB  - Springer
SP  - 95
T3  - Lecture Notes in Computer Science
Y1  - 2004///
ID  - eprints313
EP  - 119
T2  - Formal Methods for Components and Objects (FMCO 2004)
SN  - 3-540-29131-8
N2  - A temporal logic is proposed as a tool for specifying properties of Klaim programs. 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. 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 sound and complete tableaux based proof system.

M1  - 3657
AV  - none
TI  - MoMo: A Modal Logic for Reasoning About Mobility
UR  - http://dx.doi.org/10.1007/11561163_5
ER  -