Extensionality of Spatial Observations in Distributed Systems

Detalhes bibliográficos
Autor(a) principal: Caires, Luís
Data de Publicação: 2007
Outros Autores: Vieira, Hugo Torres
Tipo de documento: Artigo
Idioma: eng
Título da fonte: Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)
Texto Completo: https://doi.org/10.1016/j.entcs.2006.10.056
Resumo: 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.
id RCAP_e3b71ed1b4abbc85dccfa9820f9d16de
oai_identifier_str oai:run.unl.pt:10362/61651
network_acronym_str RCAP
network_name_str Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)
repository_id_str 7160
spelling Extensionality of Spatial Observations in Distributed SystemsBehavioral equivalenceHennessy-Milner logicspatial logicsspatial observationsTheoretical Computer ScienceComputer Science(all)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.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.DI - Departamento de InformáticaCITI - Centro de Informática e Tecnologias da InformaçãoRUNCaires, LuísVieira, Hugo Torres2019-02-25T23:20:06Z2007-08-262007-08-26T00:00:00Zinfo:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/article19application/pdfhttps://doi.org/10.1016/j.entcs.2006.10.056eng1571-0661PURE: 11709417http://www.scopus.com/inward/record.url?scp=34250321340&partnerID=8YFLogxKhttps://doi.org/10.1016/j.entcs.2006.10.056info:eu-repo/semantics/openAccessreponame:Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)instname:Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informaçãoinstacron:RCAAP2024-03-11T04:29:18Zoai:run.unl.pt:10362/61651Portal AgregadorONGhttps://www.rcaap.pt/oai/openaireopendoar:71602024-03-20T03:33:40.142754Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos) - Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informaçãofalse
dc.title.none.fl_str_mv Extensionality of Spatial Observations in Distributed Systems
title Extensionality of Spatial Observations in Distributed Systems
spellingShingle Extensionality of Spatial Observations in Distributed Systems
Caires, Luís
Behavioral equivalence
Hennessy-Milner logic
spatial logics
spatial observations
Theoretical Computer Science
Computer Science(all)
title_short Extensionality of Spatial Observations in Distributed Systems
title_full Extensionality of Spatial Observations in Distributed Systems
title_fullStr Extensionality of Spatial Observations in Distributed Systems
title_full_unstemmed Extensionality of Spatial Observations in Distributed Systems
title_sort Extensionality of Spatial Observations in Distributed Systems
author Caires, Luís
author_facet Caires, Luís
Vieira, Hugo Torres
author_role author
author2 Vieira, Hugo Torres
author2_role author
dc.contributor.none.fl_str_mv DI - Departamento de Informática
CITI - Centro de Informática e Tecnologias da Informação
RUN
dc.contributor.author.fl_str_mv Caires, Luís
Vieira, Hugo Torres
dc.subject.por.fl_str_mv Behavioral equivalence
Hennessy-Milner logic
spatial logics
spatial observations
Theoretical Computer Science
Computer Science(all)
topic Behavioral equivalence
Hennessy-Milner logic
spatial logics
spatial observations
Theoretical Computer Science
Computer Science(all)
description 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.
publishDate 2007
dc.date.none.fl_str_mv 2007-08-26
2007-08-26T00:00:00Z
2019-02-25T23:20:06Z
dc.type.status.fl_str_mv info:eu-repo/semantics/publishedVersion
dc.type.driver.fl_str_mv info:eu-repo/semantics/article
format article
status_str publishedVersion
dc.identifier.uri.fl_str_mv https://doi.org/10.1016/j.entcs.2006.10.056
url https://doi.org/10.1016/j.entcs.2006.10.056
dc.language.iso.fl_str_mv eng
language eng
dc.relation.none.fl_str_mv 1571-0661
PURE: 11709417
http://www.scopus.com/inward/record.url?scp=34250321340&partnerID=8YFLogxK
https://doi.org/10.1016/j.entcs.2006.10.056
dc.rights.driver.fl_str_mv info:eu-repo/semantics/openAccess
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv 19
application/pdf
dc.source.none.fl_str_mv reponame:Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)
instname:Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informação
instacron:RCAAP
instname_str Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informação
instacron_str RCAAP
institution RCAAP
reponame_str Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)
collection Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)
repository.name.fl_str_mv Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos) - Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informação
repository.mail.fl_str_mv
_version_ 1799137958317522944

Registros relacionados