Pages that link to "Item:Q5357706"
From MaRDI portal
The following pages link to Forward and Backward Bisimulations for Chemical Reaction Networks (Q5357706):
Displaying 19 items.
- Verifying polymer reaction networks using bisimulation (Q2003997) (← links)
- A logical and graphical framework for reaction systems (Q2034775) (← links)
- A process algebraic approach to reaction systems (Q2044947) (← links)
- Reducing Boolean networks with backward Boolean equivalence (Q2142096) (← links)
- A large-scale assessment of exact lumping of quantitative models in the biomodels repository (Q2238205) (← links)
- Logical characterization of fluid equivalences (Q2323132) (← links)
- Equivalences for fluid stochastic Petri nets (Q2403677) (← links)
- Verifying chemical reaction network implementations: a bisimulation approach (Q2422008) (← links)
- Comparing chemical reaction networks: a categorical and algorithmic perspective (Q2422009) (← links)
- Complete characterization for the fit-preserving data refinement of mass-action reaction networks (Q2628773) (← links)
- Quantitative Abstractions for Collective Adaptive Systems (Q2822665) (← links)
- Algebra, Coalgebra, and Minimization in Polynomial Differential Equations (Q2988361) (← links)
- (Q3300791) (← links)
- Attractor Equivalence: An Observational Semantics for Reaction Networks (Q5500402) (← links)
- Symbolic Proof of Bistability in Reaction Networks (Q5859790) (← links)
- Symbolic computation of differential equivalences (Q5920213) (← links)
- An automated quantitative information flow analysis for concurrent programs (Q6103027) (← links)
- Formal lumping of polynomial differential equations through approximate equivalences (Q6113017) (← links)
- An algorithm for the formal reduction of differential equations as over-approximations (Q6160777) (← links)
