Spatial Calculus of Looping Sequences

Electronic Notes in Theoretical Computer Science

Volumn 229, Issue 1, 2009, Pages 21-39

  Barbuti, Roberto ^a   Maggiolo Schettini, Andrea ^a   Milazzo, Paolo ^a   Pardini, Giovanni ^a  

^a UNIVERSITY OF PISA   (Italy)

Author keywords

Calculus of Looping Sequences; Spatial modeling; Systems biology

Indexed keywords

BIOLOGICAL SYSTEMS; CELL PROLIFERATION; REACTION RATES;

BIOLOGICAL PROCESS; CALCULUS OF LOOPING SEQUENCES; HARD SPHERES; PSEUDOMONAS AERUGINOSA; QUORUM-SENSING; REWRITE RULES; SPATIAL MODELING; SYSTEM EVOLUTIONS; SYSTEMS BIOLOGY;

CALCULATIONS;

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

References (28)

1. SCLSm: The Stochastic CLS machine (web page). URL. http://www.di.unipi.it/~milazzo/biosims/
2. The BioSPI Project. URL. http://www.wisdom.weizmann.ac.il/~biospi/
3. The Stochastic Pi Machine (SPiM). URL. http://research.microsoft.com/~aphillip/spim/
4. Alur R., Belta C., Ivančić F., Kumar V., Mintz M., Pappas G.J., Rubin H., and Schug J. Hybrid Modeling and Simulation of Biomolecular Networks. LNCS 2034 (2001) 19-32
5. Andrews S.S., and Bray D. Stochastic simulation of chemical reactions with spatial resolution and single molecule detail. Physical Biology 1 (2004) 137-151
6. Avers C.J. Molecular Cell Biology (1986), Addison-Wesley
7. Barbuti R., Caravagna G., Maggiolo-Schettini A., Milazzo P., and Pardini G. The Calculus of Looping Sequences. LNCS 3016 (2008) 387-423
8. Barbuti R., Maggiolo-Schettini A., Milazzo P., and Troina A. A Calculus of Looping Sequences for Modelling Microbiological Systems. Fundamenta Informaticae 72 (2006) 21-35
9. Cardelli L., and Calculi B. Interactions of Biological Membranes. LNCS 3082 (2005) 257-280
10. Curti M., Degano P., Priami C., and Baldari C.T. Modelling biochemical pathways through enhanced π-calculus. Theor. Comput. Sci. 325 (2004) 111-140
11. Danos V., and Laneve C. Formal molecular biology. Theor. Comput. Sci. 325 (2004) 69-110
12. Dockery J., and Keener J. A mathematical model for quorum sensing in pseudomonas aeruginosa. Bulletin of Mathematical Biology 63 (2001) 95-116
13. Galli-Resta L., Novelli E., Kryger Z., Jacobs G.H., and Reese B.E. Modelling the mosaic organization of rod and cone photoreceptors with a minimal-spacing rule. European Journal of Neuroscience 11 (1999) 1461-1469
14. Giavitto J.-L., and Michel O. MGS: a rule-based programming language for complex objects and collections. Electronic Notes in Theoretical Computer Science 59 (2001)
15. John M., Ewald R., and Uhrmacher A.M. A spatial extension to the π-Calculus. ENTCS 194 (2008) 133-148
16. Krivine, J., R. Milner and A. Troina, Stochastic bigraphs, in: Proc. of MFPS'08, 24th Conference on the Mathematical Foundations of Programming Semantics, ENTCS to appear (2008)
17. Kwiatkowska M., Norman G., and Parker D. Probabilistic Symbolic Model Checking with PRISM: A Hybrid Approach. International Journal on Software Tools for Technology Transfer (STTT) 6 (2004) 128-142
18. Matsuno, H., A. Doi, M. Nagasaki and S. Miyano, Hybrid Petri Net Representation of Gene Regulatory Network, Pacific Symposium on Biocomputing (2000), pp. 341-352
19. Milazzo, P., "Qualitative and Quantitative Formal Modeling of Biological Systems," Ph.D. thesis, Università di Pisa (2007)
20. Plimpton S.J., and Slepoy A. Microbial cell modeling via reacting diffusive particles. Journal of Physics: Conference Series 16 (2005) 305-309
21. Priami C., and Quaglia P. Beta Binders for Biological Interactions. LNCS 3082 (2005) 20-33
22. Priami C., Regev A., Shapiro E., and Silverman W. Application of a stochastic name-passing calculus to representation and simulation of molecular processes. Inform. Proc. Letters 80 (2001) 25-31
23. Pǎun G. Membrane Computing: An Introduction (2002), Springer, New York
24. 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
25. Regev, A., W. Silverman and E. Shapiro, Representation and simulation of biochemical processes using the pi-calculus process algebra, Pacific Symposium on Biocomputing (2001), pp. 459-470
26. Takahashi K., Arjunan S.N., and Tomita M. Space in systems biology of signaling pathways - towards intracellular molecular crowding in silico. FEBS Letters (2005)
27. Tolle D.P., and Novère N.L. Particle-Based Stochastic Simulation in Systems Biology. Current Bioinformatics (2006)
28. Versari C. A core calculus for a comparative analysis of bio-inspired calculi. European Symposium on Programming. LNCS 4421 (2007) 411-425