Lookup NU author(s): Artur Meski,
Professor Maciej Koutny
This is the final published version of a report that has been published in its final definitive form by School of Computing, Newcastle University, 2019.
For re-use rights please refer to the publisher's terms and conditions.
Reaction systems are a model of computation inspired by the biochemistry exhibited by living cells. In this paper, we introduce the notion of agency as an extension to the reaction systems formalism, leading to distributed reaction systems. Adding agents in the reaction systems setting, allows for the natural modelling and representation of multi-agent and distributed systems. To support the specification of temporal epistemic properties of distributed reaction systems, we introduce rsCTLK and present its associated model checking procedure. Finally, we show that model checking for rsCTLK is PSPACE-complete.
Author(s): Meski A, Koutny M, Penczek W
Publication type: Report
Publication status: Published
Series Title: School of Computing Technical Report Series
Online publication date: 01/04/2019
Acceptance date: 02/04/2016
Report Number: 1526
Institution: School of Computing, Newcastle University
Place Published: Newcastle upon Tyne