Comparing chemical reaction networks: a categorical and algorithmic perspective
DOI10.1016/J.TCS.2017.12.018zbMATH Open1423.68165DBLPjournals/tcs/CardelliTTV19OpenAlexW2780192661WikidataQ56981771 ScholiaQ56981771MaRDI QIDQ2422009FDOQ2422009
Authors: Luca Cardelli, Mirco Tribastone, Max Tschaikowski, Andrea Vandin 
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
Recommendations
Biochemistry, molecular biology (92C40) Systems biology, networks (92C42) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Cites Work
- Formal molecular biology
- Title not available (Why is that?)
- Title not available (Why is that?)
- Approximating and computing behavioural distances in probabilistic transition systems
- A fluid analysis framework for a Markovian process algebra
- Termination Problems in Chemical Kinetics
- Biochemical systems theory: a review
- Metrics for labelled Markov processes
- Taking it to the limit: approximate reasoning for Markov processes
- Title not available (Why is that?)
- Modular verification of chemical reaction network encodings via serializability analysis
- Modular verification of DNA strand displacement networks via serializability analysis
- Exact fluid lumpability for Markovian process algebra
- Tackling continuous state-space explosion in a Markovian process algebra
- Lumpability abstractions of rule-based systems
- Equivalence of Dynamical Systems by Bisimulation
- Combining model reductions
- Weighted Bisimulation in Linear Algebraic Form
- Title not available (Why is that?)
- Timing in chemical reaction networks
- Verifying chemical reaction network implementations: a pathway decomposition approach
- Symbolic computation of differential equivalences
- Forward and backward bisimulations for chemical reaction networks
- Efficient syntax-driven lumping of differential equations
- Comparing Chemical Reaction Networks
- Quantitative abstractions for collective adaptive systems
- A unified framework for differential aggregations in Markovian process algebra
- Exact fluid lumpability in Markovian process algebra
- Differential bisimulation for a Markovian process algebra
Cited In (8)
- Comparison theorems for stochastic chemical reaction networks
- Reducing Boolean networks with backward Boolean equivalence
- On quantitative comparison of chemical reaction network models
- Verifying polymer reaction networks using bisimulation
- Embedding-based comparison of reaction networks of Wnt signaling
- An algebraic characterization of self-generating chemical reaction networks using semigroup models
- Fast enumeration of non-isomorphic chemical reaction networks
- Comparing Chemical Reaction Networks
Uses Software
This page was built for publication: Comparing chemical reaction networks: a categorical and algorithmic perspective
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2422009)
