The Bio-PEPA tool suite

QEST - 6th International Conference on the Quantitative Evaluation of Systems

Volumn , Issue , 2009, Pages 309-310

  Ciocchetta, Federica ^a   Duguid, Adam ^a   Gilmore, Stephen ^a   Guerriero, Maria Luisa ^a   Hillston, Jane ^a  

^a UNIVERSITY OF EDINBURGH   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 74049092326     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/QEST.2009.27     Document Type: Conference Paper

References (6)

1. F. Ciocchetta and J. Hillston, "Bio-PEPA: a framework for the modelling and analysis of biological systems," 2008, school of Informatics University of Edinburgh Technical Report EDI-INF-RR-1231.
2. -, "Bio-PEPA: an extension of the process algebra PEPA for biochemical networks," in Proc. of FBTC 2007, ser. Electronic Notes in Theoretical Computer Science, vol. 194, no. 3, 2008, pp. 103-117.
3. H. Li, Y. Cao, L. R. Petzold, and D. T. Gillespie, "Algorithms and software for stochastic simulation of biochemical reacting systems," Biotechnology Progress, vol. 24, no. 1, pp. 56-61, 2008.
4. F. Ciocchetta, S. Gilmore, M. Guerriero, and J. Hillston, "Integrated simulation and model-checking for the analysis of biochemical systems." in Proc. of PASM'08, ser. ENTCS, vol. 232, 2009, pp. 17-38.
5. M. Calder, A. Duguid, S. Gilmore, and J. Hillston, "Stronger computational modelling of signalling pathways using both continuous and discrete-space methods," in Proc. of CMSB'06, ser. LNCS, vol. 4210, 2006, pp. 63-77.
6. M. Tribastone, "The PEPA Plug-in Project," in Proceedings of the 4th International Conference on the Quantitative Evaluation of SysTems (QEST), M. Harchol-Balter, M. Kwiatkowska, and M. Telek, Eds. IEEE, Sep. 2007, pp. 53-54.