Computers and Intractability: A Guide to the Theory of NP-Completeness
Computers and Intractability: A Guide to the Theory of NP-Completeness
Lectures on Petri Nets I: Basic Models, Advances in Petri Nets, the volumes are based on the Advanced Course on Petri Nets
Basic notions of reaction systems
DLT'04 Proceedings of the 8th international conference on Developments in Language Theory
An excursion in reaction systems: From computer science to biology
Theoretical Computer Science
On the properties of language classes defined by bounded reaction automata
Theoretical Computer Science
A formal framework for processes inspired by the functioning of living cells
CIAA'12 Proceedings of the 17th international conference on Implementation and Application of Automata
Transactions on Computational Systems Biology XIV
Minimal and almost minimal reaction systems
Natural Computing: an international journal
Bridging Membrane and Reaction Systems --Further Results and Research Topics
Fundamenta Informaticae - To Andrzej Skowron on His 70th Birthday
Hi-index | 0.00 |
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.