Logo eprints

An observational model for spatial logics

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)

This is the latest version of this item.

PDF (Pre-print version)
Download (235kB) | Preview


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∥.

Item Type: Article
Identification Number: 10.1016/j.entcs.2004.10.028
Additional Information: Proceedings of the First International Workshop on Views on Designing Complex Architectures (VODCA 2004)
Projects: EU project FET IST-2001-33100 Profundis
Uncontrolled Keywords: Spatial logic, bisimilarity, observational frameworks
Subjects: Q Science > QA Mathematics > QA75 Electronic computers. Computer science
Research Area: Computer Science and Applications
Depositing User: Hugo Vieria
Date Deposited: 26 Jun 2015 12:53
Last Modified: 26 Jun 2015 12:53
URI: http://eprints.imtlucca.it/id/eprint/2722

Available Versions of this Item

Actions (login required)

Edit Item Edit Item