Copyright Information
The documents distributed by this server have been provided by the contributing authors as a means to ensure timely dissemination of
scholarly and technical work on a noncommercial basis. Copyright and all rights therein are maintained by the authors or by other
copyright holders, notwithstanding that they have offered their works here electronically. It is understood that all persons copying
this information will adhere to the terms and constraints invoked by each author's copyright. These works may not be reposted without
the explicit permission of the copyright holder.
show main publications
Extensionality of Spatial Observations in Distributed Systems @INPROCEEDINGS{CairesVieira06, title = {{Extensionality of Spatial Observations in Distributed Systems}}, author = {{Luis} {Caires} and {Hugo} {Vieira}}, booktitle = {Proc. International Workshop on Expressiveness in Concurrency (EXPRESS'06)}, 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.}, publisher = {Elsevier Science}, series = {ENTCS}, year = {2006}, url = {http://ctp.di.fct.unl.pt/~htv/pub/extspatial.pdf}, address = {Bohn, Germany}, month = {August}, partner = {FFCUL}, status = {public}, task = {T2.3a}, }
|