Extensionality of Spatial Observations in Distributed Systems

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

zbMATH Keywords

spatial observationsHennessy-Milner logicbehavioral equivalencespatial logics

Mathematics Subject Classification ID

Logic in computer science (03B70) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (1)

Extensionality of Spatial Observations in Distributed Systems

Uses Software

• SLMC
• tKlaim

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