TY  - JOUR
UR  - http://www.sciencedirect.com/science/article/pii/S1571066107003805
IS  - 3
AV  - public
JF  - Electronic Notes in Theoretical Computer Science
Y1  - 2007///
SP  - 131 
KW  - Behavioral equivalence; spatial observations; spatial logics; Hennessy-Milner logic
ID  - eprints2721
TI  - Extensionality of spatial observations in distributed systems 
EP  -  149
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. 
A1  - Caires, Luis
A1  - Torres Vieira, Hugo 
SN  - 1571-0661
VL  - 175
PB  - Elsevier
N1  - Proceedings of the 13th International Workshop on  Expressiveness in Concurrency (EXPRESS 2006) 
ER  -