S. S. Andrews and D. Bray, Stochastic simulation of chemical reactions with spatial resolution and single molecule detail, Physical Biology, vol.1, issue.3, pp.137-151, 2004.
DOI : 10.1088/1478-3967/1/3/001

J. C. Baeten and J. A. Bergstra, Real space process algebra, Formal Aspects of Computing, vol.58, issue.2, pp.481-529, 1993.
DOI : 10.1007/BF01211247

R. Banach, Review: Process Algebra with Timing, Journal of Logic and Computation, vol.14, issue.6, p.881
DOI : 10.1093/logcom/14.6.881

L. Cardelli, Membrane interactions, BioConcur 03, Workshop on Concurrent Models in Molecular Biology, 2003.

A. Deutsch and S. Dormann, Cellular Automaton Modeling of Biological Pattern Formation, Birkhuser Boston, 2004.

T. Engelmann, Ueber Licht- und Farbenperception niederster Organismen, Pfl??ger, Archiv f??r die Gesammte Physiologie des Menschen und der Thiere, vol.29, issue.1, pp.387-400, 1882.
DOI : 10.1007/BF01612047

J. M. Haugh, A Unified Model for Signal Transduction Reactions in Cellular Membranes, Biophysical Journal, vol.82, issue.2, pp.591-604, 2002.
DOI : 10.1016/S0006-3495(02)75424-6

Y. Isobe, Y. Sato, and K. Ohmaki, Approximative analysis by process algebra with graded spatial actions, Proc. AMAST '96, pp.336-350, 1996.
DOI : 10.1007/BFb0014326

B. Kholodenko, Cell-signalling dynamics in time and space, Nature Reviews Molecular Cell Biology, vol.20, issue.3, pp.165-176, 2006.
DOI : 10.1038/nrm1838

M. Lin and S. Gottschalk, Collision detection between geometric models: A survey, Proc. of IMA Conf. on Mathematics of Surfaces, 1998.

K. Mayawala, D. G. Vlachos, and J. S. Edwards, Computational modeling reveals molecular details of epidermal growth factor binding, BMC Cell Biol, vol.6, 2005.

R. Milner, Communicating and Mobile Systems: the Pi-Calculus, 1999.

X. Nicollin and J. Sifakis, An Overview and Synthesis on Timed Process Algebras, Proc. CAV '91, pp.376-398, 1992.

A. Phillips and L. Cardelli, A correct abstract machine for the stochastic pi-calculus, Transactions on Computational Systems Biology, 2005.

S. J. Plimpton and A. Slepoy, Microbial cell modeling via reacting diffusive particles, Journal of Physics: Conference Series, vol.16, pp.1742-6596042, 2005.
DOI : 10.1088/1742-6596/16/1/042

E. Posse and H. Vangheluwe, Kiltera: A Simulation Language for Timed, ANSS '07. 40th Annual Simulation Symposium

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

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, The ??-calculus as an Abstraction for Biomolecular Systems, Modeling in Molecular Biology, 2004.
DOI : 10.1007/978-3-642-18734-6_11

J. H. Schwartz, Axonal Transport: Components, Mechanisms, and Specificity, Annual Review of Neuroscience, vol.2, issue.1, pp.467-504, 1979.
DOI : 10.1146/annurev.ne.02.030179.002343

P. Smolen, D. A. Baxter, and J. H. Byrne, Modeling Circadian Oscillations with Interlocking Positive and Negative Feedback Loops, J. Neurosci, vol.21, pp.6644-6656, 2001.

J. Stiles and T. Bartol, Monte Carlo Methods for Simulating Realistic Synaptic Microphysiology Using MCell, Computational Neuroscience: Realistic Modeling for Experimentalists, pp.87-127, 2001.
DOI : 10.1201/9781420039290.ch4

K. Takahashi, S. Nanda, V. Arjunan, and M. Tomita, Space in systems biology of signaling pathways - towards intracellular molecular crowding in silico, FEBS Letters, vol.20, issue.8, pp.579-1783, 2005.
DOI : 10.1016/j.febslet.2005.01.072

D. P. Tolle and N. L. Novre, Particle-Based Stochastic Simulation in Systems Biology, Current Bioinformatics, vol.1, issue.3, pp.1-6, 2006.
DOI : 10.2174/157489306777827964

A. M. Uhrmacher and C. Priami, Discrete event systems specification in systems biology -a discussion of stochastic pi calculus and DEVS, WSC '05: Proc. of the 37th conference on Winter simulation, pp.317-326, 2005.

Y. Wang, The Real-Time Process Algebra (RTPA), Annals of Software Engineering, vol.14, issue.1/4, pp.235-274, 2002.
DOI : 10.1023/A:1020561826073

B. P. Zeigler, H. Praehofer, and T. G. Kim, Theory of Modeling and Simulation, Second Edition, 2000.