L. Brodo, C. Degano, and . Priami, A Stochastic Semantics for BioAmbients, Parallel Computing Technologies, 4671 of LNCS, pp.22-34, 2007.
DOI : 10.1007/978-3-540-73940-1_3

N. Chabrier-rivier, F. Fages, and S. Soliman, The Biochemical Abstract Machine BIOCHAM, CMSB'04, 3082 of LNCS, pp.172-191, 2004.
DOI : 10.1007/BF03037227
URL : https://hal.archives-ouvertes.fr/inria-00000814

F. Ciocchetta and J. Hillston, Bio-PEPA: An Extension of the Process Algebra PEPA for Biochemical Networks, Electronic Notes in Theoretical Computer Science, vol.194, issue.3, pp.103-117, 2008.
DOI : 10.1016/j.entcs.2007.12.008

F. Ciocchetta and M. Guerriero, Modelling Biological Compartments in Bio-PEPA, ENTCS, pp.77-95, 2009.
DOI : 10.1016/j.entcs.2008.12.105
URL : http://doi.org/10.1016/j.entcs.2008.12.105

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

L. Dematté and C. Priami, Modelling and simulation of biological processes in BlenX, ACM SIGMETRICS Performance Evaluation Review, vol.35, issue.4, pp.32-39, 2008.
DOI : 10.1145/1364644.1364653

J. Elf and M. Ehrenberg, Spontaneous separation of bi-stable biochemical systems into spatial domains of opposite phases, Systems Biology, vol.1, issue.2, pp.230-236, 2004.
DOI : 10.1049/sb:20045021

D. Gillespie, Exact stochastic simulation of coupled chemical reactions, The Journal of Physical Chemistry, vol.81, issue.25, pp.2340-2361, 1977.
DOI : 10.1021/j100540a008

J. Himmelspach and A. Uhrmacher, Plug'n Simulate. ANSS'07, IEEE Proceedings, vol.0, pp.137-143, 2007.

M. John, C. Lhoussaine, A. Niehren, and . Uhrmacher, The Attributed Pi Calculus, CMSB'08, 5307 of LNCS, pp.83-102, 2008.
DOI : 10.1007/978-3-540-88562-7_10
URL : https://hal.archives-ouvertes.fr/inria-00308970

J. Krivine, A. Milner, and . Troina, Stochastic Bigraphs, Electronic Notes in Theoretical Computer Science, vol.218, pp.73-96, 2008.
DOI : 10.1016/j.entcs.2008.10.006
URL : https://hal.archives-ouvertes.fr/hal-00530712

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

R. Milner, Pure bigraphs: Structure and dynamics. Information and Computation, pp.60-122, 2006.
DOI : 10.1016/j.ic.2005.07.003
URL : http://doi.org/10.1016/j.ic.2005.07.003

A. Phillips, An Abstract Machine for the Stochastic Bioambient calculus, Electronic Notes in Theoretical Computer Science, vol.227, pp.143-159, 2009.
DOI : 10.1016/j.entcs.2008.12.109

A. Phillips and L. Cardelli, Efficient, Correct Simulation of Biological Processes in the Stochastic Pi-calculus, CMSB'07, 4695 of LNCS, pp.184-199, 2007.
DOI : 10.1007/978-3-540-75140-3_13

C. Priami, . Regev, W. Shapiro, and . Silverman, Application of a stochastic name-passing calculus to representation and simulation of molecular processes, Information Processing Letters, vol.80, issue.1, pp.25-31, 2001.
DOI : 10.1016/S0020-0190(01)00214-9

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

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

C. Versari and N. Busi, Stochastic biological modelling in the presence of multiple compartments, Theoretical Computer Science, vol.410, issue.33-34
DOI : 10.1016/j.tcs.2009.03.038