Logics for actor networks: A case study in constrained hybridization

José Fiadeiro, Ionuţ Ţuţu (Lead / Corresponding author), Antónia Lopes, Dusko Pavlovic

Research output: Chapter in Book/Report/Conference proceedingConference contribution

3 Citations (Scopus)

Abstract

Actor Networks are a modeling framework for cyber-physical system protocols based on Latour’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.

Original languageEnglish
Title of host publicationDynamic Logic. New Trends and Applications
Subtitle of host publicationFirst International Workshop, DALI 2017, Brasilia, Brazil, September 23-24, 2017, Proceedings
EditorsAlexandre Madeira, Alexandre Madeira, Mario Benevides
Place of PublicationSwitzerland
PublisherSpringer Verlag
Pages98-114
Number of pages17
ISBN (Electronic)9783319735795
ISBN (Print)9783319735788
DOIs
Publication statusPublished - 2018
EventFirst International Workshop on Dynamic Logic, DALI 2017 - Brasilia, Brazil
Duration: 23 Sep 201724 Sep 2017

Publication series

NameLecture Notes in Computer Science
PublisherSpringer
Volume10669
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Conference

ConferenceFirst International Workshop on Dynamic Logic, DALI 2017
CountryBrazil
CityBrasilia
Period23/09/1724/09/17

Fingerprint Dive into the research topics of 'Logics for actor networks: A case study in constrained hybridization'. Together they form a unique fingerprint.

Cite this