Extensionality of Spatial Observations in Distributed Systems

Research output: Contribution to journalArticle

3 Citations (Scopus)
2 Downloads (Pure)

Abstract

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.

Original languageEnglish
Pages (from-to)131-149
Number of pages19
JournalElectronic Notes in Theoretical Computer Science
Volume175
Issue number3
DOIs
Publication statusPublished - 26 Aug 2007

Keywords

  • Behavioral equivalence
  • Hennessy-Milner logic
  • spatial logics
  • spatial observations

Fingerprint Dive into the research topics of 'Extensionality of Spatial Observations in Distributed Systems'. Together they form a unique fingerprint.

Cite this