R. Barbuti, A. Maggiolo-schettini, P. Milazzo, P. Tiberi, and A. Troina, Stochastic Calculus of Looping Sequences for the Modelling and Simulation of Cellular Pathways, Transactions on Computational Systems Biology, 2008.
DOI : 10.1007/978-3-540-88765-2_3

R. Barbuti, A. Maggiolo-schettini, P. Milazzo, and A. Troina, A calculus of looping sequences for modelling microbiological systems, Fundamenta Informaticae, vol.72, pp.1-321, 2006.

L. Birkedal, T. C. Damgaard, A. J. Glenstrup, and R. Milner, Matching of Bigraphs, Proceedings of GT?VC'06, 2006.
DOI : 10.1016/j.entcs.2007.04.013

L. Cardelli, Brane calculi -interactions of biological membranes, Computational Methods in Systems Biology, pp.257-278, 2004.

L. Cardelli and A. Gordon, Mobile ambients, Theoretical Computer Science, vol.24, pp.177-213, 2000.

V. Danos, J. Feret, W. Fontana, R. Harmer, and J. Krivine, Rule-Based Modelling, Symmetries, Refinements, Proceedings of FMSB 2008, 2008.
DOI : 10.1007/978-3-540-68413-8_8
URL : https://hal.archives-ouvertes.fr/inria-00528339

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

V. Danos, J. Féret, W. Fontanta, R. Harmer, and J. Krivine, Rule based modeling of biological signaling, Proceedings of CONCUR 2007, 2007.

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

P. Degano, D. Prandi, C. Priami, and P. Quaglia, Beta-binders for Biological Quantitative Experiments, Proceedings of QAPL 2006, pp.101-117, 2006.
DOI : 10.1016/j.entcs.2006.07.014

D. T. 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. Hillston, O. H. Jensen, and R. Milner, A Compositional Approach to Performance Modelling, Bigraphs and mobile processes, 1996.
DOI : 10.1017/CBO9780511569951

T. Kirchausen, Three ways to make a vesicle, Nature Reviews Molecular Cell Biology, vol.1, issue.3, pp.187-198, 2000.
DOI : 10.1038/35043117

M. M. Kozlov and L. Chernomordik, The Protein Coat in Membrane Fusion: Lessons from Fission, Traffic, vol.64, issue.4, pp.256-267, 2002.
DOI : 10.1034/j.1600-0854.2002.030403.x

J. Krivine, An Exact and Scalable Stochastic Simulation Algorithm., AIP Conference Proceedings, pp.638-641, 2007.
DOI : 10.1063/1.2836164

M. Kwiatkowska, G. Norman, and D. Parker, Probabilistic symbolic model checking with PRISM: a hybrid approach, International Journal on Software Tools for Technology Transfer, vol.24, issue.2, pp.128-142, 2004.
DOI : 10.1007/s10009-004-0140-2

C. Laneve and F. Tarissan, A simple calculus for proteins and cells, Proceedings of the Workshop MeCBIC'06, 2006.
URL : https://hal.archives-ouvertes.fr/hal-01217855

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

R. Milner, Pure bigraphs: structure and dynamics. Information and computation, pp.60-122, 2006.

A. Phillips and L. Cardelli, Efficient, correct simulation of biological processes in the stochastic picalculus, 2007.

C. Priami, A. Regev, W. Silverman, and E. Shapiro, 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. M. 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

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