An excursion in reaction systems: from computer science to biology
From MaRDI portal
Publication:714816
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
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
