Lookup NU author(s): Professor Maciej Koutny,
Dr Lukasz Mikulski
This is the authors' accepted manuscript of a book chapter that has been published in its final definitive form by Springer, 2018.
For re-use rights please refer to the publisher's terms and conditions.
Reaction systems originated as a formal model for processes inspired by the functioning of the living cell. The underlying idea of this model is that the functioning of the living cell is determined by the interactions of biochemical reactions and these interactions are based on the mechanisms of facilitation and inhibition. Since their inception, reaction systems became a well-investigated novel model of computation. Following this line of research, in this paper we discuss a systematic framework for investigating a whole range of equivalence notions for reaction systems. Some of the equivalences are defined directly on reaction systems while some are defined through transition systems associated with reaction systems. In this way we establish a new bridge between reaction systems and transition systems. In order to define equivalences which capture various ways of interacting with an environment, we also introduce models of the environment which evolve in a finite state fashion.
Author(s): Kleijn J, Koutny M, Mikulski L, Rozenberg G
Editor(s): Bockenhauer, H-J; Komm, D; Unger, W
Publication type: Book Chapter
Publication status: Published
Book Title: Adventures Between Lower Bounds and Higher Altitudes: Essays Dedicated to Juraj Hromkovič on the Occasion of His 60th Birthday
Print publication date: 16/09/2018
Online publication date: 09/08/2018
Acceptance date: 19/03/2018
Series Title: Lecture Notes in Computer Science
Place Published: Cham
Library holdings: Search Newcastle University Library for this item