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
Real space process algebra, Formal Aspects of Computing, vol.58, issue.2, pp.481-529, 1993. ,
DOI : 10.1007/BF01211247
Review: Process Algebra with Timing, Journal of Logic and Computation, vol.14, issue.6, p.881 ,
DOI : 10.1093/logcom/14.6.881
Membrane interactions, BioConcur 03, Workshop on Concurrent Models in Molecular Biology, 2003. ,
Cellular Automaton Modeling of Biological Pattern Formation, Birkhuser Boston, 2004. ,
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
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
Approximative analysis by process algebra with graded spatial actions, Proc. AMAST '96, pp.336-350, 1996. ,
DOI : 10.1007/BFb0014326
Cell-signalling dynamics in time and space, Nature Reviews Molecular Cell Biology, vol.20, issue.3, pp.165-176, 2006. ,
DOI : 10.1038/nrm1838
Collision detection between geometric models: A survey, Proc. of IMA Conf. on Mathematics of Surfaces, 1998. ,
Computational modeling reveals molecular details of epidermal growth factor binding, BMC Cell Biol, vol.6, 2005. ,
Communicating and Mobile Systems: the Pi-Calculus, 1999. ,
An Overview and Synthesis on Timed Process Algebras, Proc. CAV '91, pp.376-398, 1992. ,
A correct abstract machine for the stochastic pi-calculus, Transactions on Computational Systems Biology, 2005. ,
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
Kiltera: A Simulation Language for Timed, ANSS '07. 40th Annual Simulation Symposium ,
Stochastic ??-Calculus, The Computer Journal, vol.38, issue.7, pp.578-589, 1995. ,
DOI : 10.1093/comjnl/38.7.578
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
The ??-calculus as an Abstraction for Biomolecular Systems, Modeling in Molecular Biology, 2004. ,
DOI : 10.1007/978-3-642-18734-6_11
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
Modeling Circadian Oscillations with Interlocking Positive and Negative Feedback Loops, J. Neurosci, vol.21, pp.6644-6656, 2001. ,
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
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
Particle-Based Stochastic Simulation in Systems Biology, Current Bioinformatics, vol.1, issue.3, pp.1-6, 2006. ,
DOI : 10.2174/157489306777827964
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. ,
The Real-Time Process Algebra (RTPA), Annals of Software Engineering, vol.14, issue.1/4, pp.235-274, 2002. ,
DOI : 10.1023/A:1020561826073
Theory of Modeling and Simulation, Second Edition, 2000. ,