Complexity of model checking for reaction systems
DOI10.1016/J.TCS.2015.11.040zbMATH Open1336.68085OpenAlexW2215907076MaRDI QIDQ264544FDOQ264544
Authors: Sepinoud Azimi, Cristian Gratie, Sergiu Ivanov, Luca Manzoni, Ion Petre, Antonio E. Porreca 
Publication date: 31 March 2016
Published in: Theoretical Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.tcs.2015.11.040
Recommendations
complexity classesinvariantsmodel checkingstationary processsteady statebiomodelingconserved setselementary fluxperiodicityreaction systems
Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Complexity classes (hierarchies, relations among complexity classes, etc.) (68Q15) Specification and verification (program logics, model checking, etc.) (68Q60)
Cites Work
- Title not available (Why is that?)
- Model checking temporal properties of reaction systems
- Functions and sequences generated by reaction systems
- Functional constructions between reaction systems and propositional logic
- A tour of reaction systems
- The Complexity of Counting Cuts and of Computing the Probability that a Graph is Connected
- Functions defined by reaction systems
- Reaction systems
- Title not available (Why is that?)
- Fixed points and attractors of reaction systems
- Reaction System Models for the Heat Shock Response
- Cycles and global attractors of reaction systems
- Elements of finite model theory.
- An excursion in reaction systems: from computer science to biology
Cited In (22)
- Facilitation in reaction systems
- Extracting reaction systems from function behavior
- Simulation of reaction systems by the strictly minimal ones
- Fixed points and attractors of reactantless and inhibitorless reaction systems
- Languages of distributed reaction systems
- A Compositional Semantics of Reaction Systems with Restriction
- Multi-Stability, Limit Cycles, and Period-Doubling Bifurcation with Reaction Systems
- Controllability of reaction systems
- Model checking temporal properties of reaction systems
- Ranks of strictly minimal reaction systems induced by permutations
- On the complexity of occurrence and convergence problems in reaction systems
- Cycles and global attractors of reaction systems
- Fixed points and attractors of reaction systems
- Complexity of the dynamics of reaction systems
- Evolvability of reaction systems and the invisibility theorem
- Title not available (Why is that?)
- Steady states of constrained reaction systems
- Reachability in resource-bounded reaction systems
- Dependency graphs and mass conservation in reaction systems
- Towards quantitative verification of reaction systems
- Minimal reaction systems revisited and reaction system rank
- Verification of linear-time temporal properties for reaction systems with discrete concentrations
This page was built for publication: Complexity of model checking for reaction systems
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q264544)
