Extensionality of Spatial Observations in Distributed Systems
From MaRDI portal
Publication:2866349
DOI10.1016/j.entcs.2006.10.056zbMath1277.68169OpenAlexW2029819077MaRDI QIDQ2866349
Hugo Torres Vieira, Luís Caires
Publication date: 13 December 2013
Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.entcs.2006.10.056
Logic in computer science (03B70) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Related Items (1)
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- On reduction-based process semantics
- Mobile ambients
- A spatial logic for concurrency. I
- Elimination of quantifiers and undecidability in spatial logics for concurrency
- Extensionality of Spatial Observations in Distributed Systems
- Algebraic laws for nondeterminism and concurrency
- Anytime, anywhere
- Extensionality and intensionality of the ambient logics
- FST TCS 2003: Foundations of Software Technology and Theoretical Computer Science
- Barbed bisimulation
- Foundations of Software Science and Computation Structures
- CONCUR 2004 - Concurrency Theory
- Automata, Languages and Programming
- CONCUR 2005 – Concurrency Theory
- Distributed processes and location failures
This page was built for publication: Extensionality of Spatial Observations in Distributed Systems