Towards quantitative verification of reaction systems
From MaRDI portal
Recommendations
Cites work
- A tour of reaction systems
- An excursion in reaction systems: from computer science to biology
- Complexity of model checking for reaction systems
- Cycles and global attractors of reaction systems
- Dependency graphs and mass conservation in reaction systems
- Fixed points and attractors of reaction systems
- Functional constructions between reaction systems and propositional logic
- Functions and sequences generated by reaction systems
- Introducing time in reaction systems
- Minimal and almost minimal reaction systems
- Model checking temporal properties of reaction systems
- On probabilistic and quantum reaction systems
- On state sequences defined by reaction systems
- Reaction System Models for the Heat Shock Response
- Reaction systems
- Reaction systems: a natural computing approach to the functioning of living cells
Cited in
(8)- A calculational approach to reactive systems
- Extracting reaction systems from function behavior
- Complexity of model checking for reaction systems
- scientific article; zbMATH DE number 1104399 (Why is no real title available?)
- Verification of linear-time temporal properties for reaction systems with discrete concentrations
- Reaction Systems and Enabling Equivalence
- Population-induced phase transitions and the verification of chemical reaction networks
- Exploiting Modularity of SOS Semantics to Define Quantitative Extensions of Reaction Systems
This page was built for publication: Towards quantitative verification of reaction systems
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2819155)
