Toggle Main Menu Toggle Search

ePrints

Reaction Systems, Transition Systems, and Equivalences

Lookup NU author(s): Professor Maciej Koutny, Dr Lukasz Mikulski

Downloads


Licence

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.


Abstract

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.


Publication metadata

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

Year: 2018

Volume: 11011

Pages: 63-84

Print publication date: 16/09/2018

Online publication date: 09/08/2018

Acceptance date: 19/03/2018

Series Title: Lecture Notes in Computer Science

Publisher: Springer

Place Published: Cham

URL: https://doi.org/10.1007/978-3-319-98355-4_5

DOI: 10.1007/978-3-319-98355-4_5

Library holdings: Search Newcastle University Library for this item

ISBN: 9783319983547


Actions

Link to this publication


Share