An intermediate language for the stochastic simulation of biological systems

Theoretical Computer Science

Volumn 410, Issue 33-34, 2009, Pages 3085-3109

  Barbuti, Roberto ^a   Caravagna, Giulio ^a   Maggiolo Schettini, Andrea ^a   Milazzo, Paolo ^a  

^a UNIVERSITY OF PISA   (Italy)

Author keywords

MultiSet rewriting; Stochastic calculus; Stochastic Calculus of Looping Sequences; Stochastic simulation

Indexed keywords

BIOMOLECULAR SYSTEM; ENCODINGS; INTERMEDIATE LANGUAGES; MULTISET REWRITING; SOUNDNESS AND COMPLETENESS; STOCHASTIC CALCULUS OF LOOPING SEQUENCES; STOCHASTIC SIMULATION; STOCHASTIC SIMULATIONS; SYSTEMS DESCRIPTION;

BIOLOGICAL SYSTEMS; CALCULATIONS; ENCODING (SYMBOLS); LINGUISTICS; RANDOM PROCESSES; STOCHASTIC CONTROL SYSTEMS; STOCHASTIC MODELS;

STOCHASTIC SYSTEMS;

EID: 67650033389     PISSN: 03043975     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.tcs.2008.09.032     Document Type: Article

References (23)

1. Banatre J.P., Fradet P., and Le Metayer D. Gamma and the chemical reaction model: Fifteen years after. Proceedings of the Workshop on Multiset Processing. WMP 2000. Lecture Notes in Computer Science vol. 2235 (2001), Springer 17-44
2. Barbuti R., Caravagna G., Maggiolo-Schettini A., and Milazzo P. An intermediate language for the simulation of biological systems. Proceedings of the 1th International Workshop From Biology To Concurrency and Back. FBTC07. Electronic Notes in Theoretical Computer Science vol. 194 (2008) 19-34
3. Barbuti R., Caravagna G., Maggiolo-Schettini A., Milazzo P., and Pardini G. The calculus of looping sequences. In: Bernardo M., Degano P., and Zavattaro G. (Eds). Formal Methods for Computational Systems Biology. Lecture Notes in Computer Science vol. 5016 (2008), Springer 387-423
4. Barbuti R., Maggiolo-Schettini A., Milazzo P., and Troina A. A calculus of looping sequences for modelling microbiological systems. Fund. Inform. 72 (2006) 21-35
5. Barbuti R., Maggiolo-Schettini A., Milazzo P., and Troina A. The calculus of looping sequences for modeling biological membranes. Proceedings of the 8th Workshop on Membrane Computing. WMC8. Lecture Notes in Computer Science vol. 4860 (2007), Springer 54-76
6. Cardelli L., and Calculi B. Interactions of biological membranes. Proceedings of the International Conference on Computational Methods in Systems Biology. CMSB 04. Lecture Notes in Computer Science vol. 3082 (2005), Springer 257-280
7. I. Cervesato, The logical meeting point of multiset rewriting and process algebra, Tech. Rep. CHACS-5540-153, Center for High Assurance Computer Systems, Naval Research Laboratory, 2004
8. Curti M., Degano P., Priami C., and Baldari C.T. Modelling biochemical pathways through enhanced π-calculus. Theoret. Comput. Sci. 325 (2004) 111-140
9. Danos V., and Laneve C. Formal Molecular Biology. Theoret. Comput. Sci. 325 (2004) 69-110
10. Degano P., and Priami C. Enhanced operational semantics: A tool for describing and analyzing concurrent cystems. ACM Comput. Surv. 33 (2001) 135-176
11. Gillespie D. Exact stochastic simulation of coupled chemical reactions. J. Phys. Chem. 81 (1977) 2340-2361
12. Martinelli F., Bistarelli S., Cervesato I., Lenzini G., and Marangoni R. Representing biological systems through multiset rewriting. Proceedings of the 9th Workshop on Computer Aided Systems Theory. EUROCAST'03. Lecture Notes in Computer Science vol. 2809 (2004), Springer 415-426
13. P. Milazzo, Qualitative and quantitative formal modeling of biological systems, Ph.D. Thesis, University of Pisa, Pisa, Italy, 2007
14. Milner R. Communicating and Mobile Systems: The π-Calculus (1999), Cambridge University Press
15. Pa ̌un G. Membrane Computing. An Introduction (2002), Springer
16. The P systems web page: http://psystems.disco.unimib.it/
17. A. Phillips, L. Cardelli, A correct abstract machine for the stochastic π-calculus, in: Proceedings of the Workshop on Concurrent Models in Molecular Biology, BIO-CONCUR'04
18. Priami C., Regev A., Silvermann W., and Shapiro E. Application of a stochastic name-passing calculus to representation and simulation of molecular processes. Inform. Process. Lett. 80 (2001) 25-31
19. Regev A., Panina E.M., Silverman W., Cardelli L., and Shapiro E.Y. BioAmbients: An abstraction for biological compartments. Theoret. Comput. Sci. 325 1 (2004) 141-167
20. The CLSm web page: http://www.di.unipi.it/~milazzo/biosims/
21. The SPiM web page: http://research.microsoft.com/~aphillip/spim/
22. Versari C. A core calculus for a comparative analysis of bio-inspired calculi. Proceedings of the European Symposium on Programming. ESOP'07. Lecture Notes in Computer Science vol. 4421 (2007), Springer 411-425
23. Versari C. Encoding catalytic P systems in π @. Proceedings of the Workshop on Membrane Computing and Biologically Inspired Process Calculi. MeCBIC 2006. Electronic Notes in Theoretical Computer Science 171 2 (2007) 171-186