C. Priami, A. Regev, E. Shapiro, and W. Silverman, Application of a stochastic name-passing calculus to representation and simulation of molecular processes, Information Processing Letters, 2001.

A. Regev and E. Shapiro, Cells as computation, Nature, vol.419, 2002.
DOI : 10.1007/3-540-36481-1_1

A. Regev, E. Panina, W. Silverman, L. Cardelli, and E. Shapiro, BioAmbients: an abstraction for biological compartments, Theoretical Computer Science, vol.325, issue.1, pp.141-167, 2004.
DOI : 10.1016/j.tcs.2004.03.061
URL : https://doi.org/10.1016/j.tcs.2004.03.061

V. Danos, J. Feret, W. Fontana, R. Harmer, and J. Krivine, Rule-based modelling of cellular signalling, Proceedings of the 18 th International Conference on Concurrency Theory (CONCUR'07), 2007.
DOI : 10.1007/978-3-540-74407-8_3
URL : https://hal.archives-ouvertes.fr/hal-00164297

V. Danos, J. Feret, W. Fontana, and J. Krivine, Scalable modelling of biological pathways, Proceedings of APLAS 2007, vol.4807, pp.139-157, 2007.

V. Danos and C. Laneve, Formal molecular biology, Theoretical Computer Science, vol.325, issue.1, pp.69-110, 2004.
DOI : 10.1016/j.tcs.2004.03.065
URL : https://hal.archives-ouvertes.fr/hal-00164591

V. Danos and C. Laneve, Core formal molecular biology, Proceedings of the 12th European Symposium on Programming, vol.2618, pp.302-318, 2003.
DOI : 10.1007/3-540-36575-3_21
URL : https://link.springer.com/content/pdf/10.1007%2F3-540-36575-3_21.pdf

V. Danos, Agile modelling of cellular signalling, Proceedings of ICCMSE'07, 2007.
DOI : 10.1063/1.2836156

M. Blinov, J. Yang, J. Faeder, and W. Hlavacek, Graph theory for rule-based modeling of biochemical networks, Proc. BioCONCUR 2005, 2005.
DOI : 10.1007/11905455_5
URL : http://www.ccam.uchc.edu/mblinov/library/Blinov_LNCS_2006.pdf

W. Hlavacek, J. Faeder, M. Blinov, R. Posner, M. Hucka et al., Rules for Modeling Signal-Transduction Systems, Science's STKE, issue.344, 2006.
DOI : 10.1126/stke.3442006re6

R. Milner, Communicating and mobile systems: the ?-calculus, 1999.

L. Cardelli, Brane calculi, Proceedings of BIO-CONCUR'03, vol.180, 2003.
DOI : 10.1007/978-3-540-25974-9_24

C. Priami and P. Quaglia, Beta binders for biological interactions, Proceedings of CMSB, vol.3082, pp.20-33, 2004.
DOI : 10.1007/978-3-540-25974-9_3

V. Danos and J. Krivine, Formal molecular biology done in CCS, Proceedings of BIO-CONCUR'03, vol.180, pp.31-49, 2003.
DOI : 10.1016/j.entcs.2004.01.040
URL : https://hal.archives-ouvertes.fr/hal-00164586

J. Feret, Dependency analysis of mobile systems, European Symposium on Programming, 2002.
DOI : 10.1007/3-540-45927-8_22
URL : https://hal.archives-ouvertes.fr/inria-00527924

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

C. Y. Lee, Representation of switching circuits by binary-decision programs, Bell Systems Technical Journal, vol.38, pp.985-999, 1959.
DOI : 10.1002/j.1538-7305.1959.tb01585.x

B. Blanchet, P. Cousot, R. Cousot, J. Feret, L. Mauborgne et al., A static analyzer for large safety-critical software, Proceedings of the ACM SIGPLAN 2003 Conference on Programming Language Design and Implementation (PLDI'03), pp.196-207, 2003.
DOI : 10.1145/780822.781153
URL : https://hal.archives-ouvertes.fr/hal-00128135

R. Milner, Communication and Concurrency, International Series on Computer Science, 1989.

M. L. Blinov, J. R. Faeder, B. Goldstein, and W. S. Hlavacek, A network model of early events in epidermal growth factor receptor signaling that accounts for combinatorial complexity, BioSystems, vol.83, pp.136-151, 2006.

M. Kwiatkowska, G. Norman, D. Parker, O. Tymchyshyn, J. Heath et al., Simulation and verification for computational modelling of signalling pathways, Proceedings of the 37th conference on Winter simulation, pp.1666-1674, 2006.