Complexity of model checking for reaction systems

DOI10.1016/J.TCS.2015.11.040MaRDI QIDQ264544zbMATHOpenAlexFDO

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

zbMATH Keywords

complexity classesinvariantsmodel checkingstationary processsteady statebiomodelingconserved setselementary fluxperiodicityreaction systems

Mathematics Subject Classification ID

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)

Recommendations

• Complexity of the dynamics of reaction systems
• Steady states of constrained reaction systems
• Towards quantitative verification of reaction systems
• Reachability in resource-bounded reaction systems
• Cycles and global attractors of reaction systems

Cites work

• scientific article; zbMATH DE number 1254648 (Why is no real title available?)
• scientific article; zbMATH DE number 610968 (Why is no real title available?)
• A tour of reaction systems
• An excursion in reaction systems: from computer science to biology
• Cycles and global attractors of reaction systems
• Elements of finite model theory.
• Fixed points and attractors of reaction systems
• Functional constructions between reaction systems and propositional logic
• Functions and sequences generated by reaction systems
• Functions defined by reaction systems
• Model checking temporal properties of reaction systems
• Reaction System Models for the Heat Shock Response
• Reaction systems
• The Complexity of Counting Cuts and of Computing the Probability that a Graph is Connected

Cited in

(22)

• Dependency graphs and mass conservation in reaction systems
• scientific article; zbMATH DE number 7603548 (Why is no real title available?)
• Complexity of the dynamics of reaction systems
• Facilitation in reaction systems
• Extracting reaction systems from function behavior
• Simulation of reaction systems by the strictly minimal ones
• Controllability of reaction systems
• Cycles and global attractors of reaction systems
• Fixed points and attractors of reaction systems
• Steady states of constrained reaction systems
• Model checking temporal properties of reaction systems
• Minimal reaction systems revisited and reaction system rank
• Multi-Stability, Limit Cycles, and Period-Doubling Bifurcation with Reaction Systems
• Verification of linear-time temporal properties for reaction systems with discrete concentrations
• Towards quantitative verification of reaction systems
• A Compositional Semantics of Reaction Systems with Restriction
• Fixed points and attractors of reactantless and inhibitorless reaction systems
• Languages of distributed reaction systems
• Evolvability of reaction systems and the invisibility theorem
• Reachability in resource-bounded reaction systems
• Ranks of strictly minimal reaction systems induced by permutations
• On the complexity of occurrence and convergence problems in reaction systems

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)