An Observational Model for Spatial Logics
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 characterised in terms of the
bisimilarity of CCS||.