Reaction Systems

  • Authors:
  • A. Ehrenfeucht;G. Rozenberg

  • Affiliations:
  • Department of Computer Science, University of Colorado at Boulder, Boulder, CO 80309, USA;Leiden Institute of Advanced Computer Science, Leiden University, Niels Bohrweg 1, 2333 CA Leiden, The Netherlands. E-mail: rozenber@liacs.nl

  • Venue:
  • Fundamenta Informaticae - New Frontiers in Scientific Discovery - Commemorating the Life and Work of Zdzislaw Pawlak
  • Year:
  • 2007

Quantified Score

Hi-index 0.01

Visualization

Abstract

Interactions between biochemical reactions lie at the heart of functioning of a living cell. In order to formalize these interactions we introduce reaction systems. We motivate them by explicitely stating a number of assumptions/axioms that (we believe) hold for a great number of biochemical reactions - we point out that these assumptions are very different from the ones underlying traditional models of computation. The paper provides the basic definitions, illustrates them by biology and computer science oriented examples, relates reaction systems to some traditional models of computation, and proves some basic properties of reaction systems.