relation: http://eprints.imtlucca.it/2721/
title: Extensionality of spatial observations in distributed systems 
creator: Caires, Luis
creator: Torres Vieira, Hugo 
subject: QA75 Electronic computers. Computer science
description: 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. 
publisher: Elsevier
date: 2007
type: Article
type: PeerReviewed
format: application/pdf
language: en
identifier: http://eprints.imtlucca.it/2721/1/extspatial-express.pdf
identifier:   Caires, Luis and Torres Vieira, Hugo   Extensionality of spatial observations in distributed systems.  Electronic Notes in Theoretical Computer Science, 175 (3).  131 - 149.  ISSN 1571-0661      (2007)  
relation: http://www.sciencedirect.com/science/article/pii/S1571066107003805
relation: 10.1016/j.entcs.2006.10.056