Comparing chemical reaction networks: a categorical and algorithmic perspective
From MaRDI portal
Publication:2422009
DOI10.1016/j.tcs.2017.12.018zbMath1423.68165OpenAlexW2780192661WikidataQ56981771 ScholiaQ56981771MaRDI QIDQ2422009
Andrea Vandin, Mirco Tribastone, Max Tschaikowski, Luca Cardelli
Publication date: 18 June 2019
Published in: Theoretical Computer Science (Search for Journal in Brave)
Full work available at URL: https://orbit.dtu.dk/en/publications/235652b4-08bb-455a-93d6-49debeccddab
Biochemistry, molecular biology (92C40) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Systems biology, networks (92C42)
Related Items
Reducing Boolean networks with backward Boolean equivalence ⋮ Verifying polymer reaction networks using bisimulation
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Modular verification of chemical reaction network encodings via serializability analysis
- Biochemical systems theory: a review
- Tackling continuous state-space explosion in a Markovian process algebra
- Lumpability abstractions of rule-based systems
- Metrics for labelled Markov processes
- A fluid analysis framework for a Markovian process algebra
- Formal molecular biology
- A unified framework for differential aggregations in Markovian process algebra
- Efficient syntax-driven lumping of differential equations
- Verifying chemical reaction network implementations: a pathway decomposition approach
- Exact fluid lumpability in Markovian process algebra
- Approximating and computing behavioural distances in probabilistic transition systems
- Quantitative Abstractions for Collective Adaptive Systems
- Exact Fluid Lumpability for Markovian Process Algebra
- Taking It to the Limit: Approximate Reasoning for Markov Processes
- Differential Bisimulation for a Markovian Process Algebra
- Algebra, Coalgebra, and Minimization in Polynomial Differential Equations
- Combining Model Reductions
- Weighted Bisimulation in Linear Algebraic Form
- Termination Problems in Chemical Kinetics
- Comparing Chemical Reaction Networks
- Modular Verification of DNA Strand Displacement Networks via Serializability Analysis
- Equivalence of Dynamical Systems by Bisimulation
- Forward and Backward Bisimulations for Chemical Reaction Networks
- Timing in chemical reaction networks
- Symbolic computation of differential equivalences
