An excursion in reaction systems: from computer science to biology

DOI10.1016/J.TCS.2012.04.003MaRDI QIDQ714816zbMATH OpenOpenAlexWikidataFDO

Authors Luca Corolli, Carlo Maj, Fabrizio Marini, Daniela Besozzi, Giancarlo Mauri

Publication date 11 October 2012

Published in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.tcs.2012.04.003

zbMATH Keywords

reaction systemsBoolean functionsTower of Hanoilac operonsimplification methods

Mathematics Subject Classification ID

Biochemistry, molecular biology (92C40) Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Cell biology (92C37)

Recommendations

• Reaction systems: a model of computation inspired by the functioning of the living cell
• Reaction systems
• Reaction systems: a natural computing approach to the functioning of living cells
• A tour of reaction systems
• Extracting reaction systems from function behavior

Cites work

• scientific article; zbMATH DE number 1818513 (Why is no real title available?)
• scientific article; zbMATH DE number 5595150 (Why is no real title available?)
• scientific article; zbMATH DE number 5671765 (Why is no real title available?)
• scientific article; zbMATH DE number 3902554 (Why is no real title available?)
• scientific article; zbMATH DE number 2080934 (Why is no real title available?)
• A tour of reaction systems
• Combinatorics of life and death for reaction systems
• Computing with energy and chemical reactions
• Cycles and communicating classes in membrane systems and molecular dynamics
• Events and modules in reaction systems
• Evolutionary computation: a unified approach.
• Functions defined by reaction systems
• Introducing time in reaction systems
• Reaction systems
• Reaction systems with duration
• Stochastic modelling for systems biology.
• The Problem of Simplifying Truth Functions
• The chemical abstract machine

Cited in

(27)

• Facilitation in reaction systems
• Extracting reaction systems from function behavior
• Functional equivalence and a cover relation for reaction systems
• Compositional semantics and behavioural equivalences for reaction systems with restriction
• Complexity of model checking for reaction systems
• Investigating dynamic causalities in reaction systems
• Plug-in context providers for reaction systems
• Fixed points and attractors of reactantless and inhibitorless reaction systems
• Biochemical Reactions as Computations
• Controllability of reaction systems
• Model checking temporal properties of reaction systems
• Reaction systems with influence on environment
• Reaction Systems, Transition Systems, and Equivalences
• Reaction systems: a natural computing approach to the functioning of living cells
• Asynchrony and persistence in reaction systems
• Complexity of the dynamics of reaction systems
• A logical and graphical framework for reaction systems
• Comparing reactions in reaction systems
• A survey of gene regulatory networks modelling methods: from differential equations, to Boolean and qualitative bioinspired models
• Steady states of constrained reaction systems
• Exploiting Modularity of SOS Semantics to Define Quantitative Extensions of Reaction Systems
• Dependency graphs and mass conservation in reaction systems
• Reaction systems and extremal combinatorics properties
• Reaction systems: a model of computation inspired by the functioning of the living cell
• Reaction Systems: A Model of Computation Inspired by Biochemistry
• Towards quantitative verification of reaction systems
• A process algebraic approach to reaction systems

This page was built for publication: An excursion in reaction systems: from computer science to biology

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q714816)