A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf
.
Extensionality of Spatial Observations in Distributed Systems
2007
Electronical Notes in Theoretical Computer Science
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
doi:10.1016/j.entcs.2006.10.056
fatcat:56fi6bb5rbah5d3drrymlusm5q