TY - JOUR
T1 - Extensionality of Spatial Observations in Distributed Systems
AU - Caires, Luís
AU - Vieira, Hugo Torres
N1 - We acknowledge the Fundação para a Ciência e Tecnologia PhD Scholarship SFRH/BD/23760/2005 and project IP Sensoria IST-2005-16004. We thank the anonymous reviewers for their comments, and Luís Monteiro and Luca Cardelli for useful remarks.
PY - 2007/8/26
Y1 - 2007/8/26
N2 - 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.
AB - 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.
KW - Behavioral equivalence
KW - Hennessy-Milner logic
KW - spatial logics
KW - spatial observations
UR - http://www.scopus.com/inward/record.url?scp=34250321340&partnerID=8YFLogxK
U2 - 10.1016/j.entcs.2006.10.056
DO - 10.1016/j.entcs.2006.10.056
M3 - Article
AN - SCOPUS:34250321340
SN - 1571-0661
VL - 175
SP - 131
EP - 149
JO - Electronic Notes in Theoretical Computer Science
JF - Electronic Notes in Theoretical Computer Science
IS - 3
ER -