Toggle Main Menu Toggle Search

Open Access padlockePrints

Asynchrony and Persistence in Reaction Systems

Lookup NU author(s): Professor Maciej KoutnyORCiD, Dr Marta Koutny, Professor Alex Yakovlev

Downloads


Licence

This work is licensed under a Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International License (CC BY-NC-ND).


Abstract

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.


Publication metadata

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

Altmetrics provided by Altmetric


Funding

Funder referenceFunder name
EP/N031768/1EPSRC
PPI/APM/2018/1/00036/U/001

Share