B. Network-science, ;. Berry-g, and G. Boudol, The chemical abstract machine, Theoretical Computer Science, p.1, 1992.

B. O. Campagnolo, M. L. Graça, and D. S. , The general purpose analog computer and computable analysis are two equivalent paradigms of analog computation, International Conference on Theory and Applications of Models of Computation, pp.631-643, 2006.
URL : https://hal.archives-ouvertes.fr/inria-00102946

B. N. Gorrieri-r.-;-cardelli-l and . Zavattaro-l, Turing universality of the biochemical ground form, Transactions on Computational Systems Biology VI, vol.4220, pp.45-73, 2006.

C. D. Parker-g and J. S. Sochacki, Some properties of solutions to polynomial systems of differential equations, Electronic Journal of Differential Equations, 2005.

C. Chiaverini and M. Danos-v, Modeling and querying biochemical interaction networks, Theoretical Computer Science, vol.325, issue.1, pp.25-44, 2004.

C. and C. K. Huang-r.-y, Synthesizing configurable biochemical implementation of linear systems from their transfer function specifications, PLoS ONE, 2015.

C. A. Amar and P. Fages-f, Computer aided design of programmable synthetic protocells performing multiplexed logic-gated micro-scale diagnostics, 2017.

C. A. Endy, D. , and R. E. , Detection of pathological biomarkers in Human clinical samples via amplifying genetic switches and logic gates, Science Translational Medicine, 2015.
URL : https://hal.archives-ouvertes.fr/hal-01989460

C. P. Cousot-r, Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints, POPL'77: Biochemical Programs and Analog-Digital Mixed Algorithms in the Cell, p.15

, Proceedings of the 6th ACM Symposium on Principles of Programming Languages, pp.238-252, 1977.

F. F. and G. S. Soliman-s, Inferring reaction systems from ordinary differential equations, Theoretical Computer Science, vol.599, pp.64-78, 2015.

F. F. Soliman-s, Abstract interpretation and types for systems biology, Theoretical Computer Science, vol.403, issue.1, pp.52-70, 2008.

F. F. Soliman-s, From reaction models to influence graphs and back: a theorem, Proceedings of Formal Methods in Systems Biology FMSB'08, number 5054 in Lecture Notes in Computer Science, 2008.

F. F. Traynard and P. , Temporal logic modeling of dynamical behaviors: firstorder patterns and solvers, Logical Modeling of Biological Systems, pp.291-323, 2014.
URL : https://hal.archives-ouvertes.fr/hal-01103305

G. C. Goldbeter-a, Temporal self-organization of the cyclin/Cdk network driving the mammalian cell cycle, Proceedings of the National Academy of Sciences, vol.106, pp.21643-21648, 2009.

. T. Gillespie-d, Exact stochastic simulation of coupled chemical reactions, Journal of Physical Chemistry, vol.81, issue.25, pp.2340-2361, 1977.

G. D. and C. J. , Analog computers and recursive functions over the reals, Journal of Complexity, vol.19, issue.5, pp.644-664, 2003.

H. Ferrell and J. E. , Ultrasensitivity in the mitogen-activated protein kinase cascade, Proceedings of the National Academy of Sciences, vol.93, pp.10078-10083, 1996.

H. and J. Huang-r.-y, Compiling program control flows into biochemical reactions, IEEE/ACM International Conference on Computer-Aided Design, vol.12, pp.361-368, 2012.

. A. Nielsen-a, . S. Der-b, and J. Shin, Genetic circuit design automation, Science, 2016.

O. K. and K. E. , Biomolecular implementation of linear I/O systems, IET SYstems Biology, vol.5, issue.4, pp.252-260, 2011.

P. A. , Continuous models of computation: from computability to complexity, 2015.

Q. L. Nachbar-r and . G. Kevrekidis-i, Bistability and oscillations in the Huang-Ferrell model of MAPK signaling, PLoS Computational Biology, vol.3, issue.9, pp.1819-1826, 2007.

R. A. Batt and G. Fages-f, Continuous valuations of temporal logic specifications with applications to parameter optimization and robustness measures, Theoretical Computer Science, vol.412, issue.26, pp.2827-2839, 2011.
URL : https://hal.archives-ouvertes.fr/hal-01431314

S. L. , Modeling dynamic phenomena in molecular and cellular biology, 1984.

S. P. Riedel-m, Rate-independent constructs for chemical computation, PLOS One, 2011.

S. C. , Mathematical theory of the differential analyser, Journal of Mathematics and Physics, vol.20, pp.337-354, 1941.

S. E. , Necessary conditions for multistationarity and stable periodicity, Journal of Biological Systems, vol.6, pp.3-9, 1998.

T. R. , On the relation between the logical structure of systems and their ability to generate multiple steady states or sustained oscillations, Springer Ser. Synergetics, vol.9, pp.180-193, 1981.

V. L. , Probably Approximatively Correct, Basic Books, 2013.