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.

Bibliographic Details
Main Author: Caires, Luís (author)
Other Authors: Vieira, Hugo Torres (author)
Format: article
Language:eng
Published: 2019
Subjects:
Behavioral equivalence
Hennessy-Milner logic
spatial logics
spatial observations
Theoretical Computer Science
Computer Science(all)
Online Access:https://doi.org/10.1016/j.entcs.2006.10.056
Country:Portugal
Oai:oai:run.unl.pt:10362/61651

Internet

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

Similar Items