An automated translation from a narrative language for biological modelling into process algebra

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

Volumn 4695 LNBI, Issue , 2007, Pages 136-151

  Guerriero, Maria Luisa ^a   Heath, John K ^b   Priami, Corrado ^a  

^a UNIVERSITY OF TRENTO   (Italy)

^b UNIVERSITY OF BIRMINGHAM   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER PROGRAMMING LANGUAGES; COMPUTER SIMULATION; TRANSLATION (LANGUAGES);

BIOLOGICAL MODELLING; INTRA-CELLULAR SYSTEMS; PROCESS ALGEBRA;

BIOLOGICAL SYSTEMS;

EID: 38049169080     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: None     Document Type: Conference Paper

References (15)

1. Milner, R.: Communication and Concurrency. Prentice-Hall, Englewood Cliffs (1989)
2. Priami, C., Regev, A., Silverman, W., Shapiro, E.: Application of a stochastic name-passing calculus to representation and simulation of molecular processes. Information Processing Letters 80(1), 25-31 (2001)
3. Phillips, A., Cardelli, L.: A Correct Abstract Machine for the Stochastic Pi-calculus. In: BioConcur '04, Workshop on Concurrent Models in Molecular Biology (2004)
4. Priami, C., Quaglia, P.: Operational patterns in Beta-binders. Transactions on Computational Systems Biology 1, 50-65 (2005)
5. Calder, M., Gilmore, S., Hillston, J.: Modelling the Influence of RKIP on the ERK Signalling Pathway Using the Stochastic Process Algebra PEPA. T. Comp. Sys. Biology 7, 1-23 (2006)
6. Kwiatkowska, M., Norman, G., Parker, D., Tymchyshyn, O., Heath, J., Gaffney, E.: Simulation and verification for computational modelling of signalling pathways. In: Proc. Winter Simulation Conference, Omnipress, pp. 1666-1675 (2006)
7. Kholodenko, B.: Cell signalling dynamics in time and space. Nature Reviews Molecular Cell Biology 7(3), 165-176 (2006)
8. Kohn, K.: Molecular Interaction Map of the Mammalian Cell Cycle Control and DNA Repair Systems. Molecular Biology of the Cell 10, 2703-2734 (1999)
9. Kitano, H.: A graphical notation for biochemical networks. Biosilico 1(5), 169-176 (2003)
10. Romanel, A., Dematté, L., Priami, C.: The Beta Workbench. Technical Report TR03-2007. Technical report, The Microsoft Research - University of Trento Centre for Computational and Systems Biology (2007)
11. Hucka, M., Finney, A., Sauro, H., Bolouri, H., Doyle, J., Kitano, H.: The systems biology markup language (SBML): a medium for representation and exchange of biochemical network models. Bioinformatics 19, 524-531 (2003)
12. Underhill-Day, N., Heath, J.: Oncostatin M (OSM) Cytostasis of Breast Tumor Cells: Characterization of an OSM Receptor β-Specific Kernel. Cancer Research 66(22), 10891-10901 (2006)
13. Alberts, B., Johnson, A., Lewis, J., Raff, M., Roberts, K., Walter, P.: Molecular biology of the cell. Garland Science (2002)
14. Cardelli, L.: On Process Rate Semantics (2007), Available at http://lucacardelli.name/Papers/0n%20Process%20Rate%20Semantics.pdf
15. Ciocchetta, F., Priami, C.: Beta-binders with Biological Transactions. Technical Report TR-10-2006. Technical report, The Microsoft Research - University of Trento Centre for Computational and Systems Biology (2006)