The following pages link to (Q5357706):
Displayed 8 items.
- 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)
- Symbolic computation of differential equivalences (Q5920213) (← links)