Modeling biological systems with delays in Bio-PEPA

Electronic Proceedings in Theoretical Computer Science, EPTCS

Volumn 40, Issue , 2010, Pages 85-101

  Caravagna, Giulio ^a   Hillston, Jane ^b  

^a UNIVERSITY OF PISA   (Italy)

^b UNIVERSITY OF EDINBURGH   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

ALGEBRA; BIOINFORMATICS; DIFFERENTIAL EQUATIONS; PATHOLOGY; RANDOM PROCESSES; SEMANTICS; STOCHASTIC MODELS; STOCHASTIC SYSTEMS;

CONSERVATIVE EXTENSIONS; DELAY DIFFERENTIAL EQUATIONS; DELAY SPECIFICATION; NON-MARKOVIAN PROCESS ALGEBRAS; STOCHASTIC PROCESS ALGEBRAS; STOCHASTIC SIMULATIONS; SYSTEMS WITH DELAYS; UNDERLYING DYNAMICS;

BIOLOGICAL SYSTEMS;

EID: 84983168678     PISSN: 20752180     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.4204/EPTCS.40.7     Document Type: Conference Paper

References (29)

1. R. Barbuti, G. Caravagna, A. Maggiolo-Schettini and P. Milazzo (2009): On the Interpretation of Delays in Delay Stochastic Simulation of Biological Systems. 2nd Int. Workshop on Computational Models for Cell Processes (CompMod'09), EPTCS 6, 17-29.
2. R. Barbuti, G. Caravagna, A. Maggiolo-Schettini and P. Milazzo (2010): Delay Stochastic Simulation of Biological Systems: A Purely Delayed Approach. To appear in Transactions on Computational Systems Biology.
3. R. Barbuti, G. Caravagna, A. Maggiolo-Schettini, P. Milazzo and G. Pardini (2008): The Calculus of Looping Sequences. Chapter in: M.Bernardo, P.Degano and G.Zavattaro (Eds.): Formal Methods for Computational Systems Biology (SFM 2008), Springer LNCS 5016, 387-423.
4. R. Barbuti, A. Maggiolo-Schettini, P. Milazzo and G.Pardini (2008): Spatial Calculus of Looping Sequences. Int. Workshop From Biology to Concurrency and Back (FBTC'08), ENTCS 229(1), 21-39.
5. M. Barrio, K. Burrage, A. Leier and T. Tian (2006) : Oscillatory Regulation of Hes1: Discrete Stochastic Delay Modelling and Simulation. PLoS Computational Biology, 2(9).
6. E. Beretta, T. Hara, W. Ma and Y. Takeuchi (2002): Permanence of an SIR Epidemic Model with Distributed Time Delays. Tohoku Mathematical Journal 54(2), 581-591.
7. Bio-PEPA web site. http://biopepa.org/
8. D. Bratsun, D. Volfson, L.S. Tsimring and J. Hasty (2005): Delay-induced Stochastic Oscillations in Gene Regulation. PNAS 102(41), 14593-14598.
9. M. Bravetti and R. Gorrieri (2002): The theory of interactive generalized semi-Markov processes. Theoretical Computer Science 282 (1), 5-32.
10. F. Ciocchetta and J. Hillston (2009): Bio-PEPA: a Framework for the Modelling and Analysis of Biochemical Networks. Theoretical Computer Science 410 (33-34), 3065-3084.
11. F. Ciocchetta and J. Hillston (2008): Calculi for Biological Systems. Chapter in: M.Bernardo, P.Degano and G.Zavattaro (Eds.): Formal Methods for Computational Systems Biology (SFM 2008), Springer LNCS 5016, 265-312.
12. R.V. Culshaw and S. Ruan (2000) : A Delay-differential Equation Model of HIV Infection of CD4+ T-cells. Mathematical Biosciences 165, 27-39.
13. V. Danos, J. Feret, W. Fontana, R. Harmer and J. Krivine (2007): Rule-Based Modelling of Cellular Signalling. Proceedings of CONCUR07, LNCS, 17-41.
14. V. Galpin (2010): Equivalences for a biological process algebra. Submitted.
15. R. German (2000): Performance Analysis of Communication Systems with Non-Markovian Stochastic Petri Nets. JohnWiley & Sons, Inc.
16. D. Gillespie (1977): Exact Stochastic Simulation of Coupled Chemical Reactions. Journal of Physical Chemistry 81, 2340.
17. J. Hillston (1996): A Compositional Approach to Performance Modelling. Cambridge University Press.
18. J. Heath,M. Kwiatkowska, G. Norman, D. Parker and O. Tymchyshyn (2008): ProbabilisticModel Checking of Complex Biological Pathways. Theoretical Computer Science 391, 239-257.
19. P. Milazzo (2007): Qualitative and Quantitative Formal Modeling of Biological Systems. Ph.D. Thesis, Department of Computer Science, University of Pisa.
20. R. Milner, M. Tofte and R. Harper (1990): The definition of Standard ML. MIT Press.
21. M. Pedersen and G. Plotkin (2010): A Language for Biochemical Systems: Design and Formal Specification. Transactions on Computational Systems Biology XII, 5945(3), 77-145.
22. G. Plotkin (2004): The Origins of Structural Operational Semantics.. Journal of Logic and Algebraic Programming 60-61:3-15.
23. C. Priami (1995): Stochastic π-Calculus. The Computer Journal 38 (7), 578-589.
24. C. Priami, A. Regev, E. Shapiro andW. Silverman (2001): Application of a stochastic name-passing calculus to representation and simulation of molecular processes. Information Processing Letters, 80:25-31.
25. A. Regev, E. M. Panina, W. Silverman, L. Cardelli and E. Y. Shapiro (2004): Bioambients: an abstraction for biological compartments. Theoretical Computer Science, 325(1):141-167.
26. A. Regev, W. Silverman and E. Shapiro (2001): Representation and simulation of biochemical processes using the pi-calculus process algebra. In Pacific Symposium on Biocomputing 6, 459-470. World Scientic Press.
27. Prism web site. http://www.prismmodelchecker.org/
28. M. Villasana and A. Radunskaya (2003): A Delay Differential Equation Model for Tumor Growth. Journal of Mathematical Biology 47, 270-294.
29. F. Zhanga, Z. Lia and F. Zhangc (2008): Global Stability of an SIR EpidemicModel with Constant Infectious Period. Applied Mathematics and Computation 199(1), 285-291.