M. Abadi, Secrecy by typing in security protocols, Journal of the ACM, vol.46, issue.5, pp.749-786, 1999.
DOI : 10.1145/324133.324266

A. Basso-blandin, W. Fontana, and R. Harmer, A knowledge representation meta-model for rule-based modelling of signalling networks, Proceedings of the Eleventh International Workshop on Developments in Computational Models, DCM 2015, pp.204-251, 2015.
DOI : 10.4204/EPTCS.204.5
URL : https://hal.archives-ouvertes.fr/hal-01468117

A. Beica, C. C. Guet, and T. Petrov, Efficient Reduction of Kappa Models by Static Inspection of the Rule-Set, Hybrid Systems Biology -Fourth International Workshop, HSB 2015 Revised Selected Papers,v olume9271ofLecture Notes in Computer Science, pp.173-191, 2015.
DOI : 10.1007/978-3-319-26916-0_10

L. Michael, J. R. Blinov, B. Faeder, W. S. Goldstein, and . Hlavacek, Bionetgen: software for rule-based modeling of signal transduction based on the interactions of molecular domains, Bioinformatics, vol.20, issue.17, pp.3289-3291, 2004.

M. Nikolay, A. S. Borisov, J. R. Chistopolsky, B. N. Faeder, and . Kholodenko, Domain-oriented reduction of rule-based networks models, IET Systems Biology, vol.2, issue.5

M. Nikolay, N. I. Borisov, J. B. Markevich, B. N. Hoek, and . Kholodenko, Signaling through receptors and scaffolds: Independent interactions reduce combinatorial complexity, Biophysical Journal, vol.8, issue.9, 2005.

F. Bourdoncle, Abstract, Journal of Functional Programming, vol.154, issue.04, pp.407-423, 1992.
DOI : 10.1007/978-3-642-67678-9

P. Buchholz, Exact and ordinary lumpability in finite Markov chains, Journal of Applied Probability, vol.1, issue.01, pp.59-75, 1994.
DOI : 10.1016/0166-5316(88)90031-4
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.45.1632

P. Buchholz, Bisimulation relations for weighted automata, Theoretical Computer Science, vol.393, issue.1-3, pp.109-123, 2008.
DOI : 10.1016/j.tcs.2007.11.018
URL : http://doi.org/10.1016/j.tcs.2007.11.018

F. Camporesi and J. Feret, Formal Reduction for Rule-based Models, Postproceedings of the Twenty-seventh Conference on the Mathematical Foundations of Programming Semantics, MFPS XXVII, volume 276C of Electonic Notes in Theoretical Computer Science, pp.31-61, 2011.
DOI : 10.1016/j.entcs.2011.09.014
URL : https://hal.archives-ouvertes.fr/inria-00636850

F. Camporesi, J. Feret, H. Koeppl, and T. Petrov, Combining Model Reductions, Postproceedings of the Twenty-sixth Conference on the Mathematical Foundations of Programming Semantics, pp.73-96, 2010.
DOI : 10.1016/j.entcs.2010.08.006
URL : https://hal.archives-ouvertes.fr/inria-00527536

L. Cardelli, M. Tribastone, M. Tschaikowski, and A. Vandin, Comparing chemical reaction networks:a categorical and algorithmic perspective, Proceedings of the Thirty-First Annual ACM/IEEE Symposium on Logic in Computer Science (LICS, 2016.
DOI : 10.1145/2933575.2935318

L. Cardelli, M. Tribastone, M. Tschaikowski, and A. Vandin, Symbolic computation of differential equivalences, Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pp.137-150, 2016.

R. Cartwright and M. Felleisen, The semantics of program dependence. SIGPLAN Not, pp.13-27, 1989.

H. Conzelmann, D. Fey, and E. D. Gilles, Exact model reduction of combinatorial reaction networks, BMC Systems Biology, vol.2, issue.1, pp.78-78, 82008.
DOI : 10.1186/1752-0509-2-78

H. Conzelmann, Mathematical Modeling of Cellular Signal Transduction Pathways ? A Domain-Oriented Approach to Reduce Combinatorial Complexity, 2008.

P. Cousot, Abstract Interpretation: Theory and Practice, Proceedings of the 9th International SPIN Workshop, pp.2-5, 2002.
DOI : 10.1007/3-540-46017-9_2
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.216.9733

P. Cousot and R. Cousot, Abstract interpretation, Proceedings of the 4th ACM SIGACT-SIGPLAN symposium on Principles of programming languages , POPL '77, pp.238-252, 1977.
DOI : 10.1145/512950.512973
URL : https://hal.archives-ouvertes.fr/hal-01108790

P. Cousot and R. Cousot, Systematic design of program analysis frameworks, Proceedings of the 6th ACM SIGACT-SIGPLAN symposium on Principles of programming languages , POPL '79, pp.269-282, 1979.
DOI : 10.1145/567752.567778

P. Cousot and R. Cousot, Abstract interpretation and application to logic programs, The Journal of Logic Programming, vol.13, issue.2-3, pp.103-179, 1992.
DOI : 10.1016/0743-1066(92)90030-7
URL : http://doi.org/10.1016/0743-1066(92)90030-7

V. Danos, J. Feret, W. Fontana, R. Harmer, J. Hayman et al., Graphs, rewriting and pathway reconstruction for rule-based models, IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2012 ume 18 of LIPIcs Schloss Dagstuhl -Leibniz-Zentrum für Informatik, pp.276-288, 2012.
URL : https://hal.archives-ouvertes.fr/hal-00809065

V. Danos, J. Feret, W. Fontana, R. Harmer, and J. Krivine, Rule-based modelling of cellular signalling, invited paper, Proceedings of the Eighteenth International Conference on Concurrency Theory, pp.17-41, 2007.

V. Danos, J. Feret, W. Fontana, R. Harmer, and J. Krivine, Rule-based modelling, symmetries, refinements Formal Methods in Systems Biology Rule-based modelling and model perturbation, Proceedings of the First International Workshop Corrado Priami , Ralph-Johan Back, and Ion Petre Transactions on Computational Systems Biology XI,v olume5750ofLecture Notes in Computer Science, pp.103-122, 2008.

V. Danos, J. Feret, W. Fontana, R. Harmer, and J. Krivine, Abstracting the Differential Semantics of Rule-Based Models: Exact and Automated Model Reduction, 2010 25th Annual IEEE Symposium on Logic in Computer Science, pp.362-381, 2010.
DOI : 10.1109/LICS.2010.44
URL : https://hal.archives-ouvertes.fr/hal-00520112

V. Danos, J. Feret, W. Fontana, and J. Krivine, Scalable simulation of cellular signaling networks, invited paper, Proceedings of the Fifth Asian Symposium on Programming Systems fLecture Notes in Computer Science, pp.139-157, 2007.

V. Danos, J. Feret, W. Fontana, and J. Krivine, Abstract Interpretation of Cellular Signalling Networks, Proceedings of the Ninth International Conference on Verification, Model Checking and Abstract Interpretation e4 9 0 5o fLecture Notes in Computer Science, pp.83-97, 2008.
DOI : 10.1007/978-3-540-78163-9_11
URL : https://hal.archives-ouvertes.fr/inria-00528352

J. Feret, V. Danos, J. Krivine, R. Harmer, and W. Fontana, Internal coarse-graining of molecular systems, Proceedings of the National Academy of Sciences, vol.83, issue.2-3, 2009.
DOI : 10.1016/j.biosystems.2005.06.014
URL : https://hal.archives-ouvertes.fr/inria-00528330

J. Feret, T. A. Henzinger, H. Koeppl, and T. Petrov, Lumpability abstractions of rule-based systems, Theoretical Computer Science, vol.431, issue.0, pp.137-164, 2008.
DOI : 10.1016/j.tcs.2011.12.059
URL : https://hal.archives-ouvertes.fr/inria-00527971

J. Feret, H. Koeppl, and T. Petrov, Stochastic fragments: A framework for the exact reduction of the stochastic semantics of rule-based models, International Journal of Software and Informatics, vol.7, issue.4, pp.527-604, 2013.
URL : https://hal.archives-ouvertes.fr/hal-00975861

J. Feret and K. Q. L´yl´y, Reachability analysis via orthogonal sets of patterns, Seventeenth International Workshop on Static Analysis and Systems Biology (SASB'16), 2017.
URL : https://hal.archives-ouvertes.fr/hal-01379902

S. Gay, F. Fages, T. Martinez, S. Soliman, and C. Solnon, On the subgraph epimorphism problem, Discrete Applied Mathematics, vol.162, pp.214-228, 2014.
DOI : 10.1016/j.dam.2013.08.008
URL : https://hal.archives-ouvertes.fr/hal-01098527

R. Giacobazzi and I. Mastroeni, Non-standard semantics for program slicing. Higher-Order and Symbolic Computation, pp.2-9, 2003.
DOI : 10.1023/a:1025872819613
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.7.1343

N. Alexander, O. Gorban, and . Radulescu, Dynamic and static limitation in multiscale reaction networks, revisited, Advances in Chemical Engineering: Mathematics in Chemical Kinetics and Engineering,v o l u m e3 4o fAdvances in Chemical Engineering, pp.103-173, 2008.

R. Harmer, Rule-based Modelling and Tunable Resolution, Proceedings Fifth Workshop on Developments in Computational Models?Computational Models From Nature, pp.9-65, 2009.
DOI : 10.4204/EPTCS.9.8
URL : https://hal.archives-ouvertes.fr/hal-00694488

R. Harmer, V. Danos, J. Feret, J. Krivine, and W. Fontana, Intrinsic information carriers in combinatorial dynamical systems, Chaos: An Interdisciplinary Journal of Nonlinear Science, vol.11, issue.3, 2010.
DOI : 10.1073/pnas.97.1.32
URL : https://hal.archives-ouvertes.fr/hal-00520128

L. Edward and . Ince, Ordinary Differential Equations, 1956.

P. Kreyßig, Chemical organisation theory beyond classical models: Discrete dynamics and rule-based models

G. Thomas and . Kurtz, Solutions of ordinary differential equations as limits of pure jump markov processes, Journal of Applied Probability, vol.7, issue.1, pp.49-58, 1970.

G. Thomas and . Kurtz, Limit theorems for sequences of jump markov processes approximating ordinary differential processes, Journal of Applied Probability, vol.8, issue.2

G. Madelaine, C. Lhoussaine, and J. Niehren, Structural Simplification of Chemical Reaction Networks Preserving Deterministic Semantics, Computational Methods in Systems Biology -13th International Conference Proceedings ,volume9308ofLecture Notes in Computer Science, pp.133-144, 2015.
DOI : 10.1007/978-3-319-23401-4_12
URL : https://hal.archives-ouvertes.fr/hal-01168038

G. Madelaine, E. Tonello, C. Lhoussaine, and J. Niehren, Normalizing Chemical Reaction Networks by Confluent Structural Simplification, Computational Methods in Systems Biology -14th International Conference Proceedings, pp.201-215, 2016.
DOI : 10.1073/pnas.0710134105
URL : https://hal.archives-ouvertes.fr/hal-01348303

R. Milner, Communication and Concurrency, 1989.

T. Petrov and H. Koeppl, Maximal Reduction of ODE Semantics of Rule-based Models: Syntax-Independent Setup, International Workshop on Computational Systems Biology

O. Radulescu, A. N. Gorban, A. Zinovyev, and V. Noël, Reduction of dynamical biochemical reactions networks in computational biology, Frontiers in Genetics, vol.3, issue.1
DOI : 10.3389/fgene.2012.00131

O. Radulescu, S. Vakulenko, and D. Grigoriev, Model Reduction of Biochemical Reactions Networks by Tropical Analysis Methods, Mathematical Modelling of Natural Phenomena, vol.10, issue.3
DOI : 10.1051/mmnp/201510310

J. Sommer-simpson, J. Reinitz, L. Fridlyand, L. Philipson, and O. Radulescu, Hybrid Reductions of Computational Models of Ion Channels Coupled to Cellular Biochemistry, Computational Methods in Systems Biology -14th International Conference Proceedings,v o l u m e9 8 5 9o fLecture Notes in Computer Science, pp.273-288, 2016.
DOI : 10.1007/978-3-319-03080-7_3