Extensionality of Spatial Observations in Distributed Systems

DOI10.1016/j.entcs.2006.10.056zbMath1277.68169MaRDI 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 observations; Hennessy-Milner logic; behavioral equivalence; spatial logics

Mathematics Subject Classification ID

03B70: Logic in computer science

68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)

Uses Software

• SLMC
• tKlaim