A Spatial Extension to the π Calculus

Electronic Notes in Theoretical Computer Science

Volumn 194, Issue 3, 2008, Pages 133-148

  John, Mathias ^a   Ewald, Roland ^a   Uhrmacher, Adelinde M ^a  

^a UNIVERSITY OF ROSTOCK   (Germany)

Author keywords

pi calculus; spatial modeling; systems biology

Indexed keywords

BIOLOGICAL SYSTEMS; POPULATION DYNAMICS; PROTOZOA; SEMANTICS;

CELL SIGNALING; SPATIAL MODELING; SYSTEMS BIOLOGY;

COMPUTER SIMULATION;

EID: 38649127851     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.entcs.2007.12.010     Document Type: Article

References (30)

1. Andrews S.S., and Bray D. Stochastic simulation of chemical reactions with spatial resolution and single molecule detail. Phys. Biol. 1 (2004) 137-151
2. Baeten J.C.M., and Bergstra J.A. Real space process algebra. Formal Aspects of Computing 5 (1993) 481-529. http://dx.doi.org/10.1007/BF01211247 URL
3. Banach, R., Review: Process Algebra with Timing, Journal of Logic and Computation 14, pp. 881+
4. Cardelli, L., Membrane interactions, in: BioConcur 03, Workshop on Concurrent Models in Molecular Biology, 2003
5. Deutsch A., and Dormann S. Cellular Automaton Modeling of Biological Pattern Formation (2004), Birkhuser, Boston
6. Engelmann T. Ueber Licht- und Farbenperception niederster Organismen. Pflügers Archiv European Journal of Physiology 29 (1882) 387-400. http://dx.doi.org/10.1007/BF01612047 URL
7. Grell K.G. Protozoologie (1968), Springer-Verlag
8. Haugh J.M. A Unified Model for Signal Transduction Reactions in Cellular Membranes. Biophys. J. 82 (2002) 591-604
9. Isobe, Y., Y. Sato and K. Ohmaki, Approximative Analysis by Process Algebra with Graded Spatial Actions, in: Proc. AMAST '96 (1996), pp. 336-350
10. Kholodenko B. Cell-signalling dynamics in time and space. Nature Reviews Molecular Cell Biology 7 (2006) 165-176
11. Lin, M. and S. Gottschalk, Collision detection between geometric models: A survey, in: Proc. of IMA Conf. on Mathematics of Surfaces, 1998. URL http://citeseer.ist.psu.edu/lin98collision.html
12. Mayawala K., Vlachos D.G., and Edwards J.S. Computational modeling reveals molecular details of epidermal growth factor binding. BMC Cell Biol. 6 (2005). http://dx.doi.org/10.1186/1471-2121-6-41 URL
13. Milner R. Communicating and Mobile Systems: the Pi-Calculus (1999), Cambridge University Press
14. Nicollin, X. and J. Sifakis, An Overview and Synthesis on Timed Process Algebras, in: Proc. CAV '91 (1992), pp. 376-398. URL http://portal.acm.org/citation.cfm?id=735193
15. Phillips A., and Cardelli L. A correct abstract machine for the stochastic pi-calculus. Transactions on Computational Systems Biology (2005)
16. Plimpton S.J., and Slepoy A. Microbial cell modeling via reacting diffusive particles. Journal of Physics: Conference Series 16 (2005) 305+. http://dx.doi.org/10.1088/1742-6596/16/1/042 URL
17. Posse, E. and H. Vangheluwe, Kiltera: A Simulation Language for Timed, Dynamic Structure Systems, in: ANSS '07. 40th Annual Simulation Symposium
18. Prandi, D., C. Priami and P. Quaglia, Process calculi in a biological context, Concurrency Column (2005)
19. Priami C. Stochastic pi-Calculus. The Computer Journal 38 (1995) 578-589. http://dx.doi.org/10.1093/comjnl/38.7.578 URL
20. Priami C., and Quaglia P. Beta Binders for Biological Interactions. Computational Methods in Systems Biology (2005) 20-33. http://dx.doi.org/10.1007/b107287 URL
21. Regev A., Panina E.M., Silverman W., Cardelli L., and Shapiro E. BioAmbients: an abstraction for biological compartments. Theor. Comput. Sci. 325 (2004) 141-167. http://dx.doi.org/10.1016/j.tcs.2004.03.061 URL
22. Regev A., and Shapiro E. The π-calculus as an abstraction for biomolecular systems. In: Ciobanu G., and Rozenberg G. (Eds). Modeling in Molecular Biology (2004), Springer. http://citeseer.ist.psu.edu/704367.html URL
23. Schwartz J.H. Axonal transport: components, mechanisms, and specificity. Annu Rev Neurosci 2 (1979) 467-504. http://dx.doi.org/10.1146/annurev.ne.02.030179.002343 URL
24. Smolen P., Baxter D.A., and Byrne J.H. Modeling Circadian Oscillations with Interlocking Positive and Negative Feedback Loops. J. Neurosci. 21 (2001) 6644-6656
25. Stiles J., and Bartol T. Monte Carlo methods for simulating realistic synaptic microphysiology using MCell. Computational Neuroscience: Realistic Modeling for Experimentalists (2001) 87-127
26. Takahashi K., Nanda S., Arjunan V., and Tomita M. Space in systems biology of signaling pathways : towards intracellular molecular crowding in silico. FEBS letters 579 (2005) 1783-1788
27. Tolle D.P., and Le Novre N. Particle-Based Stochastic Simulation in Systems Biology. Current Bioinformatics 1 (2006) 1-6
28. Uhrmacher, A. M. and C. Priami, Discrete event systems specification in systems biology - a discussion of stochastic pi calculus and DEVS, in: WSC '05: Proc. of the 37th conference on Winter simulation, 2005, pp. 317-326. URL http://portal.acm.org/citation.cfm?id=1162708.1162767
29. Wang Y. The Real-Time Process Algebra (RTPA). Annals of Software Engineering 14 (2002) 235-274
30. Zeigler B.P., Praehofer H., and Kim T.G. Theory of Modeling and Simulation. Second Edition (2000), Academic Press