S. Alam, A. Sen, L. A. Behie, and M. Kallos, Cell cycle kinetics of expanding populations of neural stem and progenitor cells in vitro, Cell Cycle Kinetics of Expanding Populations of Neural Stem and Progenitor Cells In Vitro, pp.332-347, 2004.
DOI : 10.1002/bit.20246

R. Breitling, D. Gilbert, M. Heiner, and R. Orton, A structured approach for the engineering of biochemical network models, illustrated for signalling pathways, Briefings in Bioinformatics, vol.9, issue.5, pp.404-421, 2008.
DOI : 10.1093/bib/bbn026

K. Cho, S. Baek, and M. Sung, Wnt pathway mutations selected by optimal ??-catenin signaling for tumorigenesis, FEBS Letters, vol.434, issue.15, pp.3665-3670, 2006.
DOI : 10.1016/j.febslet.2006.05.053

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, J. Hillston, M. Kos, and D. Tollervey, Modelling co-transcriptional cleavage in the synthesis of yeast pre-rRNA, Theoretical Computer Science, vol.408, issue.1, pp.41-54, 2008.
DOI : 10.1016/j.tcs.2008.07.012

V. Danos, J. Feret, W. Fontana, R. Harmer, and J. Krivine, Rule-Based Modelling of Cellular Signalling, International Conference on Concurrency Theory (CONCUR), ed. L. Caires and V. Vasconcelos, pp.17-41, 2007.
DOI : 10.1007/978-3-540-74407-8_3

URL : https://hal.archives-ouvertes.fr/hal-00164297

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. T. 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

M. Heiner, R. Richter, M. Schwarick, and C. Rohr, Snoopy -A Tool to Design and Execute Graph-Based Formalisms, Petri Net Newsletter, vol.74, pp.8-22, 2008.
DOI : 10.4108/icst.simutools2008.3098

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.473.5367

M. John, C. Lhoussaine, and J. Niehren, Dynamic Compartments in the Imperative Pi Calculus, Computational Methods in Systems Biology, 7th International Conference, 2009.
URL : https://hal.archives-ouvertes.fr/inria-00422970

M. John, C. Lhoussaine, J. Niehren, and A. Uhrmacher, The Attributed Pi Calculus, Computational Methods in Systems Biology, 6th International Conference, pp.83-102, 2008.
DOI : 10.1007/978-3-540-88562-7_10

URL : https://hal.archives-ouvertes.fr/inria-00308970

E. I. Krieghoff, Analyzing the Regulation of the Subcellular Localization of beta-catenin by Fluorescence Recovery After Photobleaching, 2006.

C. Kuttler, C. Lhoussaine, J. Niehren-anai, K. Horimoto, and T. Kutsia, 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. Kuttler and J. Niehren, Gene Regulation in the Pi Calculus: Simulating Cooperativity at the Lambda Switch, TCSB, vol.4230, pp.24-55, 2006.
DOI : 10.1007/11905455_2

URL : https://hal.archives-ouvertes.fr/inria-00089218

C. Lange, E. Mix, K. Rateitschak, and A. Rolfs, Wnt Signal Pathways and Neural Stem Cell Differentiation, Wnt Signal Pathways and Neural Stem Cell Differentiation, pp.76-86, 2006.
DOI : 10.1159/000092097

P. Lecca, C. Priami, P. Quaglia, B. Rossi, C. Laudanna et al., A Stochastic Process Algebra Approach to Simulation of Autoreactive Lymphocyte Recruitment, SIMULATION, vol.80, issue.6, pp.273-288, 2004.
DOI : 10.1177/0037549704045800

E. Lee, A. Salic, R. Krüger, R. Heinrich, and M. Kirschner, The Roles of APC and Axin Derived from Experimental and Theoretical Analysis of the Wnt Pathway, PLoS Biology, vol.274, issue.1, pp.116-132, 2003.
DOI : 10.1371/journal.pbio.0000010.st002

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

N. Panté and M. Kann, Nuclear Pore Complex Is Able to Transport Macromolecules with Diameters of 39 nm, Molecular Biology of the Cell, vol.13, issue.2, pp.425-434, 2002.
DOI : 10.1091/mbc.01-06-0308

K. Pollock, P. Stroemer, S. Patel, L. Stevanato, A. Hope et al., A conditionally immortal clonal stem cell line from human cortical neuroepithelium for the treatment of ischemic stroke, Experimental Neurology, vol.199, issue.1, pp.989-995, 2006.
DOI : 10.1016/j.expneurol.2005.12.011

C. Priami, Stochastic ?-Calculus, Computer Journal, vol.6, pp.578-589, 1995.

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, vol.80, issue.1, pp.25-31, 2001.
DOI : 10.1016/S0020-0190(01)00214-9

A. Regev and E. Shapiro, The Pi Calculus as an Abstraction for Biomolecular Systems, Modelling in Molecular Biology, pp.219-266, 2004.

O. Schaeffer, On the Use of Process Alegbra Techniques in Computational Modelling of Cancer Initiation ans Development, 2008.

J. A. Smith and L. Martin, Do Cells Cycle?, Proceedings of the National Academy of Sciences, vol.70, issue.4, pp.1263-67, 1973.
DOI : 10.1073/pnas.70.4.1263

O. Tymchyshyn and M. Kwiatkowska, Combining Intra- and Inter-cellular Dynamics to Investigate Intestinal Homeostasis, Formal Methods in Systems Biology: First International Workshop Proceedings, pp.63-76, 2008.
DOI : 10.1007/978-3-540-68413-8_5

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.468.9743

K. Willert and K. Jones, Wnt signaling: is the party in the nucleus?, Genes & Development, vol.20, issue.11, pp.1394-1404, 2006.
DOI : 10.1101/gad.1424006

O. Wolkenhauer, M. Ullah, W. Kolch, and K. H. Cho, Modeling and Simulation of Intracellular Dynamics: Choosing an Appropriate Framework, IEEE Transactions on Nanobioscience, vol.3, issue.3, pp.200-207, 2004.
DOI : 10.1109/TNB.2004.833694

A. Biographies-orianne, MAZEMONDET holds a MSc in Bioinformatics and is currently a PhD student of the graduate school dIEM oSiRiS <http

M. John, MSc in Computer Science and is currently a PhD student of the graduate school dIEM oSiRiS <http