Bio-PEPA: An Extension of the Process Algebra PEPA for Biochemical Networks

Electronic Notes in Theoretical Computer Science

Volumn 194, Issue 3, 2008, Pages 103-117

  Ciocchetta, Federica ^a   Hillston, Jane ^a  

^a UNIVERSITY OF EDINBURGH   (United Kingdom)

Author keywords

biochemical pathways; process algebras; Systems Biology

Indexed keywords

ALGEBRA; COMPUTER SIMULATION; STOICHIOMETRY;

BIOCHEMICAL PATHWAYS; PROCESS ALGEBRAS; SYSTEMS BIOLOGY;

BIOCHEMICAL ENGINEERING;

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

References (20)

1. Arkin A.P., and Rao C.V. Stochastic chemical kinetics and the quasi-steady-state assumption: application to the Gillespie algorithm. Journal of Chemical Physics 11 (2003) 4999-5010
2. Bornstein B.J., Doyle J.C., Finney A., Funahashi A., Hucka M., Keating S.M., Kitano H., Kovitz B.L., Matthews J., Shapiro B.E., and Schilstra M.J. Evolving a Lingua Franca and Associated Software Infrastructure for Computational Systems Biology: The Systems Biology Markup Language (SBML) Project. Systems Biology 1 (2004) 41-53
3. Bortolussi, L. and A. Policriti, Modeling Biological Systems in Stochastic Concurrent Constraint Programming, Proc. of WCB 2006, 2006
4. Bundschuh R., Hayot F., and Jayaprakash C. Fluctuations and Slow Variables in Genetic Networks. Biophys. J. 84 (2003) 1606-1615
5. Calder, M., S. Gilmore and J. Hillston, Automatically deriving ODEs from process algebra models of signalling pathways, Proc. of CMSB'05, 2005
6. Calder M., Gilmore S., and Hillston J. Modelling the influence of RKIP on the ERK signalling pathway using the stochastic process algebra PEPA. T. Comp. Sys. Biology, VII 4230 (2006), Springer 1-23
7. Calder, M., A. Duguid, S. Gilmore and J. Hillston, Stronger computational modelling of signalling pathways using both continuous and discrete-space methods, Proc. of CMSB06, 2006
8. Cao Y., Gillespie D.T., and Petzold L. Accelerated Stochastic Simulation of the Stiff Enzyme-Substrate Reaction. J. Chem. Phys. 123 (2005) 144917-144929
9. Cardelli L., Panina E.M., Regev A., Shapiro E., and Silverman W. BioAmbients: An Abstraction for Biological Compartments. Theoretical Computer Science 325 1 (2004) 141-167 Elsevier
10. Chabrier-Rivier N., Fages F., and Soliman S. Modelling and querying interaction networks in the biochemical abstract machine BIOCHAM. Journal of Biological Physics and Chemistry 4 (2004) 64-73
11. Costantin G., Laudanna C., Lecca P., Priami C., Quaglia P., and Rossi B. Language modeling and simulation of autoreactive lymphocytes recruitment in inflamed brain vessels. SIMULATION: Transactions of The Society for Modeling and Simulation International 80 (2003) 273-288
12. Danos, V. and J. Krivine, Formal molecular biology done in CCS-R, Proc. of Workshop on Concurrent Models in Molecular Biology (BioConcur'03), 2003
13. Eichler-Jonsson C., Gilles E.D., Muller G., and Schoeberl B. Computational modeling of the dynamics of the MAP kinase cascade activated by surface and internalized EGF receptors. Nature Biotechnology 20 (2002) 370-375
14. Gillespie D.T. Exact stochastic simulation of coupled chemical reactions. Journal of Physical Chemistry 81 (1977) 2340-2361
15. Hillston J. A Compositional Approach to Performance Modelling (1996), Cambridge University Press
16. Kierzek A.M., and Puchalka J. Bridging the gap between stochastic and deterministic regimes in the kinetic simulations of the biochemical reaction networks. Biophys. J. 86 (2004) 1357-1372
17. Kuttler C., and Niehren J. Gene regulation in the π-calculus: simulating cooperativity at the lambda switch. Transactions on Computational Systems Biology VII 4230 (2006) 24-55
18. Priami, C. and P. Quaglia, Beta-binders for biological interactions, Proc. of CMSB'04, 2004
19. Priami C., Regev A., Silverman 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
20. Segel I.H. Enzyme Kinetics: Behaviour and Analysis of Rapid Equilibrium and Steady-State Enzyme Systems (1993), Wiley-Interscience, New-York