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

P. Buchholz, Exact and ordinary lumpability of finite Markov chains, Journal of Applied Probability, vol.31, 1994.

P. Buchholz and I. Tarasyuk, Net and algebraic approaches to probabilistic modeling, Joint Novosibirsk Computing Center and Institute of Informatics Systems Bulletin, Series Computer Science, 2001.

F. Camporesi and J. Feret, Formal reduction of rule-based models, MFPS 2011, vol.276, 2011.
URL : https://hal.archives-ouvertes.fr/tel-01557498

F. Camporesi, J. Feret, and J. Hayman, Context-sensitive flow analyses: a hierarchy of model reductions, CMSB 1013, vol.8130, 2013.
URL : https://hal.archives-ouvertes.fr/hal-00846893

F. Camporesi, J. Feret, H. Koeppl, and T. Petrov, Combining Model Reductions, vol.265, 2010.
URL : https://hal.archives-ouvertes.fr/inria-00527536

T. C. Damgaard, E. Højsgaard, and J. Krivine, Formal cellular machinery, SASB 2011, vol.284, 2011.
URL : https://hal.archives-ouvertes.fr/hal-00692416

V. Danos, J. Feret, W. Fontana, R. Harmer, J. Hayman et al., Graphs, Rewriting and Pathway Reconstruction for Rule-Based Models, 2012.
URL : https://hal.archives-ouvertes.fr/hal-00809065

V. Danos, J. Feret, W. Fontana, R. Harmer, and J. Krivine, Rule-based modelling, symmetries, refinements, FMSB 2008, vol.5054, 2008.
URL : https://hal.archives-ouvertes.fr/inria-00528339

V. Danos, J. Feret, W. Fontana, R. Harmer, and J. Krivine, Rule-Based Modelling and Model Perturbation, TCSB, vol.5750, pp.116-137, 2009.
URL : https://hal.archives-ouvertes.fr/inria-00528364

V. Danos, J. Feret, W. Fontana, R. Harmer, and J. Krivine, Abstracting the differential semantics of rule-based models: exact and automated model reduction, LICS 2010, 2010.
URL : https://hal.archives-ouvertes.fr/hal-00520112

V. Danos, R. Harmer, and G. Winskel, Constraining rule-based dynamics with types, MSCS, 2013.
URL : https://hal.archives-ouvertes.fr/hal-00694492

V. Danos and C. Laneve, Formal molecular biology, TCS, vol.325, 2004.
URL : https://hal.archives-ouvertes.fr/hal-00164591

J. Feret, Abstract interpretations of rule-based modelling, hDR

J. Feret, V. Danos, J. Krivine, R. Harmer, and W. Fontana, Internal coarse-graining of molecular systems, PNAS, 2009.
URL : https://hal.archives-ouvertes.fr/inria-00528330

J. Feret, T. Henzinger, H. Koeppl, and T. Petrov, Lumpability abstractions of rule-based systems, TCS, vol.431, 2012.
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, 2014.
URL : https://hal.archives-ouvertes.fr/hal-00975861

N. Ferns, P. Panangaden, and D. Precup, Bisimulation metrics for continuous markov decision processes, SIAM J. Comput, vol.40, 2011.

E. Ferreux and N. Morsli, Models of population migration in kappa, intership report, Frontiers in Life Science Bachelor Programme, 2014.

M. John, C. Lhoussaine, J. Niehren, and C. Versari, Biochemical reaction rules with constraints, vol.6602, 2011.
URL : https://hal.archives-ouvertes.fr/inria-00544387

E. Murphy, V. Danos, J. Feret, J. Krivine, and R. Harmer, Elements of Computational Systems Biology, Wiley Book Series on Bioinformatics, 2010.

T. Petrov, A. Ganguly, and H. Koeppl, Molecular Signaling-Model Decomposition and Stochastic Fragments, vol.284, 2011.
DOI : 10.1016/j.entcs.2012.05.018
URL : https://doi.org/10.1016/j.entcs.2012.05.018