Aspects of multiscale modelling in a process algebra for biological systems

Electronic Proceedings in Theoretical Computer Science, EPTCS

Volumn 40, Issue , 2010, Pages 54-69

  Barbuti, Roberto ^a   Caravagna, Giulio ^a   Milazzo, Paolo ^a   Maggiolo Schettini, Andrea ^a   Tini, Simone ^b  

^a UNIVERSITY OF PISA   (Italy)

^b UNIVERSITY OF INSUBRIA   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

ALGEBRA; BIOINFORMATICS; PATHOLOGY; SEMANTICS;

CCS PROCESS ALGEBRAS; DIFFERENT SCALE LEVELS; LONG LASTING; MULTI-SCALE MODELLING; PROCESS ALGEBRAS; SINGLE MODELS;

BIOLOGICAL SYSTEMS;

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

References (35)

1. L. Aceto, W.J. Fokkink and C. Verhoef (2001): Structural operational semantics. Chapter in: J.A. Bergstra, A. Ponse and S.A. Smolka (Eds.): Handbook of Process Algebra, Elsevier, pp. 197-292.
2. T. Alarcon, H. M. Byrne and P. K. Maini (2005): A multiple scale model for tumour growth. MultiscaleModel Sim. 3, 440-475.
3. E. Astesiano, A. Giovini and G. Reggio (1988): Generalized bisimulation in relational specifications. Proc. STACS 98, Springer LNCS 294, 207-226.
4. G.S. Ayton, W.G. Noid and G.A. Voth (2007): Multiscale modeling of biomolecular systems: in serial and in parallel. Current Opinion in Structural Biology, 17, Issue 2, 192-198.
5. 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.
6. R. Barbuti, G. Caravagna, A. Maggiolo-Schettini and P. Milazzo (2010): Delay Stochastic Simulation of Biological Systems: A Purely Delayed Approach. Submitted.
7. 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.
8. 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.
9. F. Billy, B. Ribba, O. Saut, H.Morre-Trouilhet, T. Colin, D. Bresch, J.P. Boissel, E.Grenier and J.P. Flandrois. (2009): A pharmacologically based multiscale mathematicalmodel of angiogenesis and its use in investigating the efficacy of a new cancer treatment strategy J.Theor.Biol. 260, 545-562.
10. G. Boudol (1989): Towards a lambda-calculus for concurrent and communicating systems. Proc. TAPSOFT, Springer LNCS 351, 149-161.
11. M. Bravetti and R. Gorrieri (1999): Deciding and Axiomatizing ST Bisimulations for a Process Algebra with Recursion and Action Refinement. Tech, Rep. UBLCS-99-1, University of Bologna.
12. M. Bravetti and R. Gorrieri (2002): The theory of interactive generalized semi-Markov processes. Theoretical Computer Science 282 (1), 5-32.
13. H.M. Byrne,M.R. Owen., T. Alarcon, J. Murphy and P.K. Maini (2006): Modelling the response of vascular tumours to chemotherapy: a multiscale approach. Math.Mod.Meth. Appli. Sci. 15, 1219-1241.
14. L. Cardelli (2008): On Process Rate Semantics. Theoretical Computer Science 391(3) 190-215.
15. 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.
16. 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.
17. V. Danos, J. Feret, W. Fontana, R. Harmer and J. Krivine (2007): Rule-Based Modelling of Cellular Signalling. Proceedings of CONCUR07, Springer LNCS, 17-41.
18. D. Gillespie (1977): Exact Stochastic Simulation of Coupled Chemical Reactions. Journal of Physical Chemistry 81, 2340.
19. M. Hennessy (1988): Axiomatising Finite Concurrent Processes. SIAM Journal of Computing 17(5), 997-1017.
20. R.J. van Glabbeek (1990): The Refinement Theorem for ST Bisimulation Semantics. Proc. IFIP Working Conference on Programming Concepts and Methods. North Holland.
21. R.J. van Glabbeek and F.W. Vaandrager (1987): Petri Net Models for Algebraic Theories of Concurrency. Proc. PARLE, Springer LNCS 259, 224-242.
22. P. Milazzo (2007): Qualitative and Quantitative Formal Modeling of Biological Systems. Ph.D. Thesis, Department of Computer Science, University of Pisa.
23. R. Milner (1989): Communication and Concurrency. Prentice Hall, International Series in Computer Science, ISBN 0-131-15007-3, 1989.
24. R. Milner, J. Parrow and D. Walker (1992): A Calculus of Mobile Processes, I Inf. Comput. 100(1): 1-40.
25. R. Milner, J. Parrow and D.Walker (1992): A Calculus of Mobile Processes, II Inf. Comput. 100(1): 41-77.
26. M.Mousavi,M. Gabbay andM.A. Reniers (2005): SOS for Higher Order Processes. Proc. CONCUR 2005, Springer LNCS 3653, 308-322.
27. 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.
28. G.D. Plotkin (1981): A Structural Approach to Operational Semantics. Tech. Rep. DAIMI FN-19, Aarhus University, Denmark.
29. C. Priami (1995): Stochastic π-Calculus. The Computer Journal 38 (7), 578-589.
30. 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.
31. 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.
32. 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 Scienti?c Press.
33. B. Ribba, T. Colin and S. Schnell (2006): A multiscale mathematical model of cancer, and its use in analyzing irradiation therapies. Theor.Biol.Med.Model.3, 7.
34. Sloot, P. M. A. and A. G. Hoekstra (2009): Multi-scale modelling in computational biomedicine Brief. Bioinform., doi:10.1093/bib/bbp038.
35. B. Thomsen (1995): A theory of Higher Order Communicating Systems. Inform. Comput. 116, 38-57.