An Intermediate Language for the Simulation of Biological Systems

Electronic Notes in Theoretical Computer Science

Volumn 194, Issue 3, 2008, Pages 19-34

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

^a UNIVERSITY OF PISA   (Italy)

Author keywords

Calculus of Looping Sequences; MultiSet Rewriting; Stochastic Simulation

Indexed keywords

COMPUTER SIMULATION LANGUAGES; SIMULATORS;

LOOPING SEQUENCES; STOCHASTIC SIMULATION;

BIOLOGICAL SYSTEMS;

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

References (15)

1. 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
2. Barbuti, R., A. Maggiolo-Schettini, P. Milazzo, and A. Troina. The Calculus of Looping Sequences for Modeling Biological Membranes. In 8th Workshop on Membrane Computing (WMC8), LNCS, Springer, to appear
3. Cardelli L. Brane Calculi. Interactions of Biological Membranes. Computational Methods in Systems Biology. (CMSB'04). LNCS 3082 (2005), Springer 257-280
4. Cervesato, I. The Logical Meeting Point of Multiset Rewriting and Process Algebra. Technical Memo CHACS-5540-153, Center for High Assurance Computer Systems, Naval Research Laboratory, Washington, DC, 2004
5. Curti M., Degano P., Priami C., and Baldari C.T. Modelling Biochemical Pathways through Enhanced Pi-calculus. Theoretical Computer Science 325 (2004) 111-140
6. Danos V., and Laneve C. Formal Molecular Biology. Theoretical Computer Science 325 (2004) 69-110
7. Degano P., and Priami C. Enhanced Operational Semantics: A Tool for Describing and Analyzing Concurrent Cystems. ACM Computing Surveys 33 (2001) 135-176
8. Gillespie D. Exact Stochastic Simulation of Coupled Chemical Reactions. Journal of Physical Chemistry 81 (1977) 2340-2361
9. Generic Biological Simulator (GBS). web site. http://www.di.unipi.it/~milazzo/biosims/
10. Martinelli F., Bistarelli S., Cervesato I., Lenzini G., and Marangoni R. Representing Biological Systems Through Multiset Rewriting. Computer Aided Systems Theory. (EUROCAST'03). LNCS 2809 (2004), Springer 415-426
11. Milazzo, P. "Qualitative and Quantitative Formal Modeling of Biological Systems". PhD Thesis, University of Pisa, 2007
12. Pǎun G. Membrane Computing. An Introduction (2002), Springer
13. The P Systems web page. http://psystems.disco.unimib.it/
14. Priami C., Regev A., Silvermann W., and Shapiro E. Application of a Stochastic Name-Passing Calculus to Representation and Simulation of Molecular Processes. Information Processing Letters 80 (2001) 25-31
15. The SPiM. web page. http://research.microsoft.com/~aphillip/spim/