@inproceedings{780a64ed48c14d3fb2143478e9838be0,
title = "Logics for actor networks: A case study in constrained hybridization",
abstract = "Actor Networks are a modeling framework for cyber-physical system protocols based on Latour{\textquoteright}s actor-network theory that addresses the way we now create and exploit the power of computational networks. We advance a logic for modeling and reasoning about such actor networks, which is obtained through a two-stage constrained hybridization process. The first stage results in a logic that captures the structure of actor networks and the way knowledge flows across them; the second addresses the dynamic aspects of actor networks, that is the way they can evolve as a result of the interactions that occur within them. For each of these stages, we develop a sound and complete proof system.",
author = "Jos{\'e} Fiadeiro and Ionu{\c t} {\c T}u{\c t}u and Ant{\'o}nia Lopes and Dusko Pavlovic",
year = "2018",
doi = "10.1007/978-3-319-73579-5_7",
language = "English",
isbn = "9783319735788",
series = "Lecture Notes in Computer Science",
publisher = "Springer Verlag",
pages = "98--114",
editor = "Alexandre Madeira and Alexandre Madeira and Mario Benevides",
booktitle = "Dynamic Logic. New Trends and Applications",
address = "Germany",
note = "First International Workshop on Dynamic Logic, DALI 2017 ; Conference date: 23-09-2017 Through 24-09-2017",
}