M. Blinov, J. Faeder, B. Goldstein, and W. Hlavacek, must match the Boolean that is assigned to the Boolean variable matching x i , we encode condition x i = x j ? z i = z j for all References 1 Bionetgen: software for rule-based modeling of signal transduction based on the interactions of molecular domains, Bioinformatics, issue.17, pp.203289-3291, 2004.

L. Cardelli, From Processes to ODEs by Chemistry, IFIP TCS, pp.261-281, 2008.
DOI : 10.1007/978-0-387-09680-3_18

N. Chabrier-rivier, F. Fages, and S. Soliman, The Biochemical Abstract Machine BIOCHAM, Computational Methods in Systems Biology, International Conference CMSB 2004, pp.172-191, 2005.
DOI : 10.1007/BF03037227
URL : https://hal.archives-ouvertes.fr/inria-00000814

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, Programming Languages and Systems, 5th Asian Symposium, pp.139-157, 2007.
DOI : 10.1007/978-3-540-76637-7_10
URL : https://hal.archives-ouvertes.fr/inria-00528409

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

C. Fournet and G. Gonthier, The reflexive CHAM and the join-calculus, Proceedings of the 23rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages , POPL '96, pp.372-385, 1996.
DOI : 10.1145/237721.237805

D. Gillespie, A general method for numerically simulating the stochastic time evolution of coupled chemical reactions, Journal of Computational Physics, vol.22, issue.4, pp.403-434, 1976.
DOI : 10.1016/0021-9991(76)90041-3

S. Gilroy and M. Harrison, SBML: a user interface mark-up language based on interaction style, International Journal of Web Engineering and Technology, vol.4, issue.2, pp.207-234, 2008.
DOI : 10.1504/IJWET.2008.018098

M. John, C. Lhoussaine, and J. Niehren, Dynamic compartments in the imperative pi calculus, Computational Methods in Systems Biology, 7th International Conference, pp.235-250, 2009.
URL : https://hal.archives-ouvertes.fr/inria-00422970

M. John, C. Lhoussaine, J. Niehren, and A. Uhrmacher, The Attributed Pi-Calculus with Priorities, Trans. on Computational Systems Biology, vol.325, issue.3, pp.13-76, 2010.
DOI : 10.1016/j.tcs.2004.03.065
URL : https://hal.archives-ouvertes.fr/inria-00422969

J. Krivine, V. Danos, and A. Benecke, Modelling Epigenetic Information Maintenance: A Kappa Tutorial, 21st CAV, pp.17-32, 2009.
DOI : 10.1007/978-3-642-02658-4_3
URL : https://hal.archives-ouvertes.fr/hal-00692430

C. Kuttler, C. Lhoussaine, and M. Nebut, Rule-Based Modeling of Transcriptional Attenuation at the Tryptophan Operon, Trans. on Computational Systems Biology, vol.13, issue.8, pp.199-228, 2010.
DOI : 10.1261/rna.620507
URL : https://hal.archives-ouvertes.fr/hal-00445565

C. Kuttler, C. Lhoussaine, and J. Niehren, A Stochastic Pi Calculus for Concurrent Objects, Second International Conference on Algebraic Biology, pp.232-246, 2007.
DOI : 10.1007/978-3-540-73433-8_17
URL : https://hal.archives-ouvertes.fr/inria-00121104

C. Laneve, S. Pradalier, and G. Zavattaro, From Biochemistry to Stochastic Processes, Electronic Notes in Theoretical Computer Science, vol.253, issue.3, pp.167-185, 2009.
DOI : 10.1016/j.entcs.2009.10.011

N. Papanikolaou, The space and motion of communicating agents author, ACM SIGACT News, vol.41, issue.3, pp.51-55, 2010.
DOI : 10.1145/1855118.1855130

A. Phillips and L. Cardelli, Efficient, Correct Simulation of Biological Processes in the Stochastic Pi-calculus, Computational Methods in Systems Biology, International Conference, pp.184-199, 2007.
DOI : 10.1007/978-3-540-75140-3_13

C. Priami, Stochastic ??-Calculus, The Computer Journal, vol.38, issue.7, pp.578-589, 1995.
DOI : 10.1093/comjnl/38.7.578

S. Ramsey, D. Orrell, and H. Bolouri, DIZZY: STOCHASTIC SIMULATION OF LARGE-SCALE GENETIC REGULATORY NETWORKS, Journal of Bioinformatics and Computational Biology, vol.03, issue.02, pp.415-436, 2005.
DOI : 10.1142/S0219720005001132

A. Regev, E. M. Panina, W. Silverman, L. Cardelli, and E. Y. 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

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

A. Romanel and C. Priami, On the computational power of BlenX, Theoretical Computer Science, vol.411, issue.2, pp.542-565, 2010.
DOI : 10.1016/j.tcs.2009.09.038

C. Versari, A Core Calculus for a Comparative Analysis of Bio-inspired Calculi, ESOP, pp.411-425, 2007.
DOI : 10.1007/978-3-540-71316-6_28