Stochastic simulation of biological systems with dynamical compartment structure

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 4695 LNBI, Issue , 2007, Pages 80-95

  Versari, Cristian ^a   Busi, Nadia ^a  

^a UNIVERSITY OF BOLOGNA   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; COMPUTER SIMULATION; DYNAMICAL SYSTEMS; SEMANTICS; STOCHASTIC MODELS;

DYNAMICAL STRUCTURE; GILLESPIE ALGORITHM; POLYADIC SYNCHRONISATION; STOCHASTIC SIMULATION ALGORITHM;

BIOLOGICAL SYSTEMS;

EID: 38049174546     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-75140-3_6     Document Type: Conference Paper

References (22)

1. Regev, A., Silverman, W., Shapiro, E.Y.: Representation and simulation of biochemical processes using the pi-calculus process algebra. In: Pacific Symposium on Biocomputing, pp. 459-470 (2001)
2. Priami, C., Regev, A., Shapiro, E.Y., Silverman, W.: Application of a stochastic name-passing calculus to representation and simulation of molecular processes. Inf. Process. Lett. 80(1), 25-31 (2001)
3. Regev, A., Panina, E.M., Silverman, W., Cardelli, L., Shapiro, E.Y.: Bioambients: an abstraction for biological compartments. Theor. Comput. Sci. 325(1), 141-167 (2004)
4. Phillips, A., Cardelli, L.: A correct abstract machine for the stochastic pi-calculus. In: Bioconcur'04, ENTCS (2004)
5. Gillespie, D.T.: Exact stochastic simulation of coupled chemical reactions. J. Phys. Chem. 81(25), 2340-2361 (1977)
6. Cardelli, L.: Brane calculi. In: Danos, V., Schachter, V. (eds.) CMSB 2004. LNCS (LNBI), vol. 3082, pp. 257-278. Springer, Heidelberg (2005) [22]
7. Priami, C., Quaglia, P.: Beta binders for biological interactions. In: Danos, V., Schachter, V. (eds.) CMSB 2004. LNCS (LNBI), vol. 3082, pp. 20-33. Springer, Heidelberg (2005) [22]
8. Cazzaniga, P., Pescini, D., Romero-Campero, F.J., Besozzi, D., Mauri, G.: Stochastic approaches in P systems for simulating biological systems. In: Gutiérrez-Naranjo, M.A., Paun, G., Riscos-Núñez, A., Romero-Campero, F.J. (eds.) Fourth Brainstorming Week on Membrane Computing, Sevilla, Fénix Editora, January 30 - February 3, 2006, vol. I, pp. 145-164 (2006)
9. Versari, C.: A core calculus for a comparative analysis of bio-inspired calculi (2007), http://www.cs.unibo.it/~versari/files/cversari-esop07.pdf
10. Milner, R., Parrow, J., Walker, D.: A calculus of mobile processes, i. Inf. Comput. 100(1), 1-40 (1992)
11. Milner, R., Parrow, J., Walker, D.: A calculus of mobile processes, ii. Inf. Comput. 100(1), 41-77 (1992)
12. Milner, R.: Communicating and mobile systems: the π-calculus. Cambridge University Press, New York, NY, USA (1999)
13. Carbone, M., Maffeis, S.: On the expressive power of polyadic synchronisation in pi-calculus. Nord. J. Comput. 10(2), 70-98 (2003)
14. Cleaveland, R., Lüttgen, G., Natarajan, V.: Priority in process algebra. In: Bergstra, J., Ponse, A., Smolka, S. (eds.) Handbook of Process Algebra, pp. 711-765. Elsevier Science Publishers, Amsterdam (2001)
15. Lodish, H., Berk, A., Matsudaira, P., Kaiser, C.A., Krieger, M., Scott, M.P., Zipursky, L., Darnell, J.: Molecular Cell Biology. W. H. Freeman, New York (2004)
16. Lu, T., Volfson, D., Tsimring, L., Hasty, J.: Cellular growth and division in the gillespie algorithm. In: Systems Biology, IEE Proceedings, pp. 121-128 (2004)
17. Lecca, P.: A time-dependent extension of gillespie algorithm for biochemical stochastic π-calculus. In: SAC '06: Proceedings of the 2006 ACM symposium on Applied computing, New York, NY, USA, pp. 137-144. ACM Press, New York (2006)
18. Elf, J., Ehrenberg, M.: Spontaneous separation of bi-stable biochemical systems into spatial domains of opposite phases. Systems Biology 1(2), 230-236 (2004)
19. Phillips, A., Cardelli, L., Castagna, G.: A graphical representation for biological processes in the stochastic pi-calculus, vol. 4230, pp. 123-152 (2006)
20. Cazzaniga, P., Pescini, D., Besozzi, D., Mauri, G.: Tau leaping stochastic simulation method in p systems. In: Hoogeboom, H.J., Pǎun, G., Rozenberg, G., Salomaa, A. (eds.) WMC 2006. LNCS, vol. 4361, pp. 298-313. Springer, Heidelberg (2006)
21. Cao, Y., Gillespie, D.T., Petzold, L.R.: Efficient step size selection for the tauleaping simulation method. Journal of Chemical Physics 124(4) (2006)
22. Danos, V., Schachter, V. (eds.): CMSB 2004. LNCS (LNBI), vol. 3082, pp. 26-28. Springer, Heidelberg (2005)