Extensionality of Spatial Observations in Distributed Systems

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.

Detalhes bibliográficos
Autor principal: Caires, Luís (author)
Outros Autores: Vieira, Hugo Torres (author)
Formato: article
Idioma:eng
Publicado em: 2019
Assuntos:
Behavioral equivalence
Hennessy-Milner logic
spatial logics
spatial observations
Theoretical Computer Science
Computer Science(all)
Texto completo:https://doi.org/10.1016/j.entcs.2006.10.056
País:Portugal
Oai:oai:run.unl.pt:10362/61651

Texto Completo

https://doi.org/10.1016/j.entcs.2006.10.056

Registos relacionados