Browse by author
Lookup NU author(s): Professor Maciej KoutnyORCiD, Dr Marta Koutny, Professor Alex Yakovlev
This work is licensed under a Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International License (CC BY-NC-ND).
Reaction systems are a model of interactive computation, where the interaction between a system - itself built up of a number of reactions - and its environment is modeled through context sequences provided by the environment. The standard execution semantics of reaction systems is synchronous, ie at each computational step all the enabled reactions are executed. In this paper, we de-synchronise such an execution model by allowing only a subset of enabled reactions to be executed. We then study the resulting asynchronous model assuming two fundamental execution policies. The first one allows any subset of reactions to be executed, and the second one draws each subset from a pre-defined pool. We also introduce and discuss the notion of persistence of reactions and sets of reactions in the resulting models of asynchronous reaction systems. In particular, we demonstrate that reaction persistence can beimplemented.
Author(s): Koutny M, Pietkiewicz-Koutny M, Yakovlev A
Publication type: Article
Publication status: Published
Journal: Theoretical Computer Science
Year: 2021
Volume: 881
Pages: 97-110
Print publication date: 15/08/2021
Online publication date: 27/11/2020
Acceptance date: 23/11/2020
Date deposited: 23/11/2020
ISSN (print): 0304-3975
ISSN (electronic): 0304-3975
Publisher: Elsevier
URL: https://doi.org/10.1016/j.tcs.2020.11.040
DOI: 10.1016/j.tcs.2020.11.040
Altmetrics provided by Altmetric
