eprintid: 313
rev_number: 6
eprint_status: archive
userid: 32
dir: disk0/00/00/03/13
datestamp: 2011-05-24 09:48:51
lastmod: 2011-07-11 14:36:25
status_changed: 2011-05-24 09:48:51
type: book_section
metadata_visibility: show
item_issues_count: 0
creators_name: De Nicola, Rocco
creators_name: Loreti, Michele
creators_id: r.denicola@imtlucca.it
creators_id: 
title: MoMo: A Modal Logic for Reasoning About Mobility
ispublished: pub
subjects: QA75
divisions: CSA
full_text_status: none
abstract: 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.

date: 2004
date_type: published
series: Lecture Notes in Computer Science
volume: 3657
publisher: Springer
pagerange: 95-119
id_number: 10.1007/11561163_5
refereed: TRUE
isbn: 3-540-29131-8
book_title: Formal Methods for Components and Objects (FMCO 2004)
editors_name: S. de Boer, Frank
editors_name: M. Bonsangue, Marcello
editors_name: Graf, Susanne
editors_name: P. de Roever, Willem
official_url: http://dx.doi.org/10.1007/11561163_5
citation:   De Nicola, Rocco and Loreti, Michele  MoMo: A Modal Logic for Reasoning About Mobility.   In:  Formal Methods for Components and Objects (FMCO 2004).   Lecture Notes in Computer Science, 3657 .  Springer, pp. 95-119.  ISBN 3-540-29131-8      (2004)