Semi-quantitative Abstraction and Analysis of Chemical Reaction Networks (Extended Abstract)

Chemical Reaction Networks (CRNs) are a versatile language widely used for modelling and analysis of biochemical systems [4] as well as for high-level programming of molecular devices [1, 14].

[1]  G. Seelig,et al.  DNA as a universal substrate for chemical kinetics , 2010, Proceedings of the National Academy of Sciences.

[2]  Richard Rebarber,et al.  Global asymptotic stability of plant-seed bank models , 2014, Journal of mathematical biology.

[3]  J. Goutsias.  Quasiequilibrium approximation of fast reaction kinetics in stochastic biochemical systems. , 2005, The Journal of chemical physics.

[4]  Luca Cardelli,et al.  Design and analysis of DNA strand displacement devices using probabilistic model checking , 2012, Journal of The Royal Society Interface.

[5]  Thomas A. Henzinger,et al.  Model Checking Gene Regulatory Networks , 2015, TACAS.

[6]  Fabian J Theis,et al.  Method of conditional moments (MCM) for the Chemical Master Equation , 2013, Journal of Mathematical Biology.

[7]  S. Bhat,et al.  Modeling and analysis of mass-action kinetics , 2009, IEEE Control Systems.

[8]  Jan Kretínský,et al.  Semi-Quantitative Abstraction and Analysis of Chemical Reaction Networks , 2019, CAV.

[9]  Luca Cardelli.  Two-domain DNA strand displacement , 2013, Math. Struct. Comput. Sci..

[10]  Luca Cardelli,et al.  A Stochastic Hybrid Approximation for Chemical Kinetics Based on the Linear Noise Approximation , 2016, CMSB.

[11]  D. Gillespie.  Exact Stochastic Simulation of Coupled Chemical Reactions , 1977 .

[12]  Marta Z. Kwiatkowska,et al.  Probabilistic model checking of complex biological pathways , 2008, Theor. Comput. Sci..

[13]  Yiannis Kaznessis,et al.  Accurate hybrid stochastic simulation of a system of coupled chemical or biochemical reactions. , 2005, The Journal of chemical physics.

[14]  Robert H. Singer,et al.  Transcription of functionally related constitutive genes is not coordinated , 2010, Nature Structural &Molecular Biology.

[15]  E. Cox,et al.  Real-Time Kinetics of Gene Activity in Individual Bacteria , 2005, Cell.