TY  - JOUR
SN  - 1571-0661
N2  - 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?.
ID  - eprints2722
EP  - 254
PB  - Elsevier
JF  - Electronic Notes in Theoretical Computer Science
N1  - Proceedings of the First International Workshop on Views on Designing Complex Architectures (VODCA 2004)
AV  - public
SP  - 229
TI  - An observational model for spatial logics
VL  - 142
UR  - http://dx.doi.org/10.1016/j.entcs.2004.10.028
A1  - Tuosto, Emilio
A1  - Torres Vieira, Hugo 
Y1  - 2006/01//
KW  - Spatial logic
KW  -  bisimilarity
KW  -  observational frameworks
ER  -