Title: An algebraic semantics and logic for Actor Networks

Abstract: We present an algebraic semantics and logic for Actor Networks, a modelling framework for cyber-physical system protocols developed by Dusko Pavlovic based on Latour's actor network theory. The algebraic semantics builds on Milner's theory of bigraphs and the logic is obtained through a two-stage constrained hybridization process: the first stage results in a logic that captures the bi-graph 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. We also show how the result of interactions can be modelled through graph transformations. 

This is joint work with Ionut Tutu (Royal Holloway University of London), Antonia Lopes (University of Lisbon), and Dusko Pavlovic (University of Hawaii).