Deriving differential equations from process algebra models in reagent-centric style

Natural Computing Series

Volumn , Issue 9783540888680, 2009, Pages 487-504

  Hillston, Jane ^a   Duguid, Adam ^a  

^a UNIVERSITY OF EDINBURGH   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 79951658458     PISSN: 16197127     EISSN: None     Source Type: Book Series    
DOI: 10.1007/978-3-540-88869-7_24     Document Type: Article

References (35)

1. Arkin AP, Rao CV (2003) Stochastic chemical kinetics and the quasi-steady-state assumption: application to the Gillespie algorithm. J Chem Phys 1:4999-5010
2. van Bakel S, Kahn I, Vigliotti M, Heath J (2007) Modeling intracellular fate of FGF receptors with bio-ambients. Electron Notes Comput Sci
3. Barbuti R, Maggiolo-Schettini A, Milazzo P, Troina A (2005) A calculus of looping sequences for modeling microbiological systems. In: Proceedings of CS&P’05, 14th international workshop on concurrency specification and programming. Warsaw University, Warsaw, pp 29-40
4. Bornstein BJ, Doyle JC, Finney A, Funahashi A, Hucka M, Keating SM, Kitano H, Kovitz BL, Matthews J, Shapiro BE, Schilstra MJ (2004) Evolving a lingua franca and associated software infrastructure for computational systems biology: the systems biology markup language (SBML) project. Syst Biol 1:41-53
5. Bortolussi L, Policriti A (2006) Modeling biological systems in stochastic concurrent constraint programming. In: Proceedings of WCB 2006
6. Bruns G (1997) Distributed systems analysis with CCS. Prentice-Hall, New York
7. Calder M, Gilmore S, Hillston J (2005) Automatically deriving ODEs from process algebra models of signaling pathways. In: Proceedings of CMSB’05, pp 204-215
8. Calder M, Gilmore S, Hillston J (2006) Modeling the influence of RKIP on the ERK signaling pathway using the stochastic process algebra PEPA. In: Transactions on computational systems biology VII. Lecture notes in computer science, vol 4230. Springer, Berlin, pp 1-23
9. Calder M, Duguid A, Gilmore S, Hillston J (2006) Stronger computational modeling of signaling pathways using both continuous and discrete-space methods. In: Proceedings of CMSB’ 06. Lecture notes in computer science, vol 4210. Springer, Berlin, pp 63-77
10. Cao Y, Gillespie DT, Petzold L (2005) Accelerated stochastic simulation of the stiff enzymesubstrate reaction. J Chem Phys 123(14):144917-144929
11. Cardelli L (2005) Brane calculi—interactions of biological membranes. In: Proceedings of workshop on computational methods in systems biology (CMSB’04). Lecture notes in computer science, vol 3082. Springer, Berlin, pp 257-278
12. Cardelli L, Panina EM, Regev A, Shapiro E, Silverman W(2004) BioAmbients: an abstraction for biological compartments. Theor Comput Sci 325(1):141-167
13. Cardelli L (2006) Artificial biochemistry. Technical Report TR-08-2006, The Microsoft Research, University of Trento Centre for Computational and Systems Biology
14. Cardelli L (2008) On process rate semantics. Theor Comput Sci 391(3):190-215
15. Chabrier-Rivier N, Fages F, Soliman S (2004) Modeling and querying interaction networks in the biochemical abstract machine BIOCHAM. J Biol Phys Chem 4:64-73
16. Chiarugi D, Degano P, Marangoni R (2007) A computational approach to the functional screening of genomes. PLOS Comput Biol 9:1801-1806
17. Cho K-H, Shin S-Y, Lee H-W, Wolkenhauer O (2003) Investigations into the analysis and modeling of the TNFα-mediated NF-κB-signaling pathway. Genome Res 13:2413-2422
18. Ciocchetta F, Hillston J (2008) Bio-PEPA: an extension of the process algebra PEPA for biochemical networks. Electron Notes Theor Comput Sci 194(3):103-117
19. Ciocchetta F, Hillston J (2008) Bio-PEPA: a framework for the modeling and analysis of biological systems. Technical Report of the School of Informatics, University of Edinburgh, EDI-INF-RR-1231
20. Clark A, Gilmore S, Hillston J, Tribastone M (2007) Stochastic process algebras. In: Formal methods in performance modeling, Bertinoro, June 2007. Lecture notes in computer science, vol 4486. Springer, Berlin, pp 132-179
21. Danos V, Krivine J (2003) Formal molecular biology done in CCS-R. In: Proceedings of workshop on concurrent models in molecular biology (BioConcur’03)
22. Danos V, Feret J, Fontana W, Harmer R, Krivine J (2007) Ruled-based modeling of cellular signaling. In: Proceedings of CONCUR’ 07. Lecture notes in computer science, vol 4703. Springer, Berlin
23. Eichler-Jonsson C, Gilles ED, Muller G, Schoeberl B (2002) Computational modeling of the dynamics of theMAP kinase cascade activated by surface and internalized EGF receptors. Nat Biotechnol 20:370-375
24. Gillespie DT (1977) Exact stochastic simulation of coupled chemical reactions. J Phys Chem 81:2340-2361
25. Hillston J (1996) A Compositional approach to performance modeling. Cambridge University Press, Cambridge
26. Hoare CAR (1985) Communicating sequential processes. Prentice-Hall, New York
27. Milner R (1989) Communication and concurrency. International series in computer science, Prentice-Hall, New York
28. Milner R (1999) Communicating and mobile systems: the π-calculus. Cambridge University Press, Cambridge
29. NuMSV model checker. http://nusmv.irst.itc.it
30. Priami C, Quaglia P (2005) Beta-binders for biological interactions. In: Proceedings of CMSB’ 04. Lecture notes in computer science, vol 3082. Springer, Berlin, pp 20-33
31. Priami C (1995) Stochastic π-calculus. Comput J 38(6):578-589
32. Priami C, Regev A, Silverman W, Shapiro E (2001) Application of a stochastic name-passing calculus to representation and simulation of molecular processes. Inf Process Lett 80:25-31
33. Regev A (2001) Representation and simulation of molecular pathways in the stochastic π-calculus. In: Proceedings of the 2nd workshop on computation of biochemical pathways and genetic networks
34. Regev A, Shapiro E (2002) Cells as computation. Nature 419:343
35. Wolkenhauer O, Ullah M, Kolch W, Cho KH (2004) Modeling and simulation of intracellular dynamics: choosing an appropriate framework. IEEE Trans Nanobiosci 3:200-207