eprintid: 2721
rev_number: 8
eprint_status: archive
userid: 59
dir: disk0/00/00/27/21
datestamp: 2015-06-26 12:53:33
lastmod: 2015-06-26 12:53:33
status_changed: 2015-06-26 12:53:33
type: article
succeeds: 2716
metadata_visibility: show
creators_name: Caires, Luis
creators_name: Torres Vieira, Hugo 
creators_id: 
creators_id: hugo.torresvieira@imtlucca.it
title: Extensionality of spatial observations in distributed systems 
ispublished: pub
subjects: QA75
divisions: CSA
full_text_status: public
keywords: Behavioral equivalence; spatial observations; spatial logics; Hennessy-Milner logic
note: Proceedings of the 13th International Workshop on  Expressiveness in Concurrency (EXPRESS 2006) 
abstract: 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. 
date: 2007
publication: Electronic Notes in Theoretical Computer Science
volume: 175
number: 3
publisher: Elsevier
pagerange: 131 - 149
id_number: 10.1016/j.entcs.2006.10.056
refereed: TRUE
issn: 1571-0661
official_url: http://www.sciencedirect.com/science/article/pii/S1571066107003805
citation:   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)  
document_url: http://eprints.imtlucca.it/2721/1/extspatial-express.pdf