Pages that link to "Item:Q5217314"
From MaRDI portal
The following pages link to Syntactic Markovian Bisimulation for Chemical Reaction Networks (Q5217314):
Displayed 9 items.
- Lumpability for uncertain continuous-time Markov chains (Q832091) (← links)
- Verifying polymer reaction networks using bisimulation (Q2003997) (← links)
- Automated deep abstractions for stochastic chemical reaction networks (Q2051806) (← links)
- A large-scale assessment of exact lumping of quantitative models in the biomodels repository (Q2238205) (← links)
- Logical characterization of fluid equivalences (Q2323132) (← links)
- Verifying chemical reaction network implementations: a bisimulation approach (Q2422008) (← links)
- Lumping the Approximate Master Equation for Multistate Processes on Complex Networks (Q6104807) (← 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)