eprintid: 2722
rev_number: 8
eprint_status: archive
userid: 59
dir: disk0/00/00/27/22
datestamp: 2015-06-26 12:53:17
lastmod: 2015-06-26 12:53:17
status_changed: 2015-06-26 12:53:17
type: article
succeeds: 2289
metadata_visibility: show
creators_name: Tuosto, Emilio
creators_name: Torres Vieira, Hugo 
creators_id: 
creators_id: hugo.torresvieira@imtlucca.it
title: An observational model for spatial logics
ispublished: pub
subjects: QA75
divisions: CSA
full_text_status: public
keywords: Spatial logic, bisimilarity, observational frameworks
note: Proceedings of the First International Workshop on Views on Designing Complex Architectures (VODCA 2004)
abstract: Spatiality is an important aspect of distributed systems because their computations depend both on the dynamic behaviour and on the structure of their components. Spatial logics have been proposed as the formal device for expressing spatial properties of systems.

We define CCS∥, a CCS-like calculus whose semantics allows one to observe spatial aspects of systems on the top of which we define models of the spatial logic. Our alternative definition of models is proved equivalent to the standard one. Furthermore, logical equivalence is characterized in terms of the bisimilarity of CCS∥.
date: 2006-01
date_type: published
publication: Electronic Notes in Theoretical Computer Science
volume: 142
publisher: Elsevier
pagerange: 229-254
id_number: 10.1016/j.entcs.2004.10.028
refereed: TRUE
issn: 1571-0661
official_url: http://dx.doi.org/10.1016/j.entcs.2004.10.028
projects: EU project FET IST-2001-33100 Profundis
citation:   Tuosto, Emilio and Torres Vieira, Hugo   An observational model for spatial logics.  Electronic Notes in Theoretical Computer Science, 142.  pp. 229-254.  ISSN 1571-0661      (2006)  
document_url: http://eprints.imtlucca.it/2722/1/obsmodel.pdf