An excursion in reaction systems: from computer science to biology

DOI10.1016/j.tcs.2012.04.003zbMath1247.68086OpenAlexW2017288340WikidataQ57518466 ScholiaQ57518466MaRDI QIDQ714816

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

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

Boolean functionsreaction systemsTower of Hanoilac operonsimplification methods

Mathematics Subject Classification ID

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

Related Items (21)

Complexity of model checking for reaction systems ⋮ Investigating dynamic causalities in reaction systems ⋮ Steady states of constrained reaction systems ⋮ Complexity of the dynamics of reaction systems ⋮ Compositional semantics and behavioural equivalences for reaction systems with restriction ⋮ Plug-in context providers for reaction systems ⋮ Fixed points and attractors of reactantless and inhibitorless reaction systems ⋮ Reaction Systems, Transition Systems, and Equivalences ⋮ Dependency graphs and mass conservation in reaction systems ⋮ Reaction systems and extremal combinatorics properties ⋮ Facilitation in reaction systems ⋮ Extracting reaction systems from function behavior ⋮ A survey of gene regulatory networks modelling methods: from differential equations, to Boolean and qualitative bioinspired models ⋮ Controllability of reaction systems ⋮ Model checking temporal properties of reaction systems ⋮ A logical and graphical framework for reaction systems ⋮ A process algebraic approach to reaction systems ⋮ Comparing reactions in reaction systems ⋮ Asynchrony and persistence in reaction systems ⋮ Reaction systems with influence on environment ⋮ Towards Quantitative Verification of Reaction Systems

Cites Work

• Cycles and communicating classes in membrane systems and molecular dynamics
• Events and modules in reaction systems
• Introducing time in reaction systems
• The chemical abstract machine
• A TOUR OF REACTION SYSTEMS
• Reaction Systems with Duration
• FUNCTIONS DEFINED BY REACTION SYSTEMS
• COMBINATORICS OF LIFE AND DEATH FOR REACTION SYSTEMS
• The Problem of Simplifying Truth Functions
• Computing with energy and chemical reactions
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

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