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 |
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∥.
| 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
-
An observational model for spatial logics. (deposited 07 Oct 2014 12:47)
- An observational model for spatial logics. (deposited 26 Jun 2015 12:53) [Currently Displayed]
Actions (login required)
 |
Edit Item |
