Logo eprints

Extensionality of spatial observations in distributed systems

Caires, Luis and Torres Vieira, Hugo Extensionality of spatial observations in distributed systems. Electronic Notes in Theoretical Computer Science, 175 (3). 131 - 149. ISSN 1571-0661 (2007)

This is the latest version of this item.

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


We discuss the tensions between intensionality and extensionality of spatial observations in distributed systems, showing that there are natural models where extensional observational equivalences may be characterized by spatial logics, including the composition and void operators. Our results support the claim that spatial observations do not need to be always considered intensional, even if expressive enough to talk about the structure of systems. For simplicity, our technical development is based on a minimalist process calculus, that already captures the main features of distributed systems, namely local synchronous communication, local computation, asynchronous remote communication, and partial failures.

Item Type: Article
Identification Number: 10.1016/j.entcs.2006.10.056
Additional Information: Proceedings of the 13th International Workshop on Expressiveness in Concurrency (EXPRESS 2006)
Uncontrolled Keywords: Behavioral equivalence; spatial observations; spatial logics; Hennessy-Milner logic
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/2721

Available Versions of this Item

  • Extensionality of spatial observations in distributed systems. (deposited 26 Jun 2015 12:53) [Currently Displayed]

Actions (login required)

Edit Item Edit Item