Foundational aspects of multiscale modeling of biological systems with process algebras

Theoretical Computer Science

Volumn 431, Issue , 2012, Pages 96-116

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

^a UNIVERSITY OF PISA   (Italy)

^b UNIVERSITY OF INSUBRIA   (Italy)

Author keywords

Bisimulations; Multiscale modeling; Process algebra; Structural operational semantics

Indexed keywords

BEHAVIORAL EQUIVALENCE; BISIMULATIONS; DIFFERENT SCALE LEVELS; FOUNDATIONAL ASPECTS; LONG LASTING; MULTI-SCALE MODELING; PROCESS ALGEBRAS; REDUCTION SEMANTICS; SOS SEMANTICS; STRUCTURAL OPERATIONAL SEMANTICS;

ALGEBRA; COMPUTER PROGRAMMING LANGUAGES; SEMANTICS;

BIOLOGICAL SYSTEMS;

EID: 84859518128     PISSN: 03043975     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.tcs.2011.12.058     Document Type: Article

References (50)

1. L. Aceto, W.J. Fokkink, and C. Verhoef Structural operational semantics J.A. Bergstra, A. Ponse, S.A. Smolka, Handbook of Process Algebra 2001 Elsevier 197 292 Chapter
2. T. Alarcon, H.M. Byrne, and P.K. Maini A multiple scale model for tumour growth Multiscale Model. Simul. 3 2005 440 475 (Pubitemid 40951980)
3. E. Astesiano, A. Giovini, and G. Reggio Generalized bisimulation in relational specifications Proc. STACS 98 LNCS vol. 294 1988 Springer 207 226
4. G.S. Ayton, W.G. Noid, and G.A. Voth Multiscale modeling of biomolecular systems: in serial and in parallel Curr. Opin. Struct. Biol. 17 2 2007 192 198 (Pubitemid 46584804)
5. R. Barbuti, G. Caravagna, A. Maggiolo-Schettini, P. Milazzo, On the interpretation of delays in delay stochastic simulation of biological systems, in: 2nd Int. Workshop on Computational Models for Cell Processes (CompMod'09), EPTCS 6, 2009, pp. 17-29.
6. R. Barbuti, G. Caravagna, A. Maggiolo-Schettini, and P. Milazzo Delay stochastic simulation of biological systems: a purely delayed approach C. Priami, Transactions on Computational Systems Biology XIII LNBI vol. 6575 2011 61 84
7. R. Barbuti, G. Caravagna, A. Maggiolo-Schettini, P. Milazzo, and G. Pardini The calculus of looping sequences M. Bernardo, P. Degano, G. Zavattaro, Formal Methods for Computational Systems Biology, SFM 2008 LNCS vol. 5016 2008 Springer 387 423
8. R. Barbuti, G. Caravagna, A. Maggiolo-Schettini, P. Milazzo, S. Tini, Aspects of multiscale modelling in a process algebra for biological systems, in: Int. Meeting on Membrane Computing and Biologically Inspired Process Calculi, MeCBIC'10, EPTCS 40, 2010, pp. 54-69.
9. R. Barbuti, A. Maggiolo-Schettini, P. Milazzo, G. Pardini, Spatial calculus of looping sequences, in: Int. Workshop From Biology to Concurrency and Back (FBTC'08), ENTCS, 229(1), 2008, pp, 21-39.
10. R. Barbuti, A. Maggiolo-Schettini, P. Milazzo, and S. Tini Compositional semantics and behavioral equivalences for P Systems Theor. Comput. Sci. 395 1 2008 77 100
11. R. Barbuti, A. Maggiolo-Schettini, P. Milazzo, and S. Tini A P systems flat form preserving step-by-step behaviour Fundam. Inform. 87 1 2008 1 34
12. R. Barbuti, A. Maggiolo-Schettini, P. Milazzo, and S. Tini Compositional semantics of spiking neural P systems J. Log. Algebr. Program. 79 6 2011 304 316
13. R. Barbuti, A. Maggiolo-Schettini, P. Milazzo, and S. Tini An overview on operational semantics in membrane computing Int. J. Found. Comput. Sci. 22 1 2011 119 131
14. F. Billy, B. Ribba, O. Saut, H. Morre-Trouilhet, T. Colin, D. Bresch, J.P. Boissel, E. Grenier, and J.P. Flandrois A pharmacologically based multiscale mathematical model of angiogenesis and its use in investigating the efficacy of a new cancer treatment strategy J. Theoret. Biol. 260 2009 545 562
15. G. Boudol Towards a lambda-calculus for concurrent and communicating systems Proc. TAPSOFT LNCS vol. 351 1989 Springer 149 161
16. M. Bravetti, R. Gorrieri, Deciding and axiomatizing st bisimulations for a process algebra with recursion and action refinement, Tech, Rep. UBLCS-99-1, University of Bologna, 1999.
17. M. Bravetti, and R. Gorrieri The theory of interactive generalized semi-Markov processes Theor. Comput. Sci. 282 1 2002 5 32 (Pubitemid 34715709)
18. L. Brodo, P. Degano, and C. Priami A stochastic semantics for BioAmbients Proceedings of PaCT07 LNCS 2007 Springer 22 34
19. H.M. Byrne, M.R. Owen, T. Alarcon, J. Murphy, and P.K. Maini Modelling the response of vascular tumours to chemotherapy: a multiscale approach Math. Mod. Meth. Appli. Sci. 15 2006 1219 1241 (Pubitemid 44576651)
20. G. Caravagna, Formal modeling and simulation of biological systems with delays, Ph.D. Thesis, Department of Computer Science, University of Pisa, 2011.
21. L. Cardelli On process rate semantics Theoret. Comput. Sci. 391 3 2008 190 215
22. F. Ciocchetta, and J. Hillston Bio-PEPA: a framework for the modelling and analysis of biochemical networks Theoret. Comput. Sci. 410 33-34 2009 3065 3084
23. F. Ciocchetta, and J. Hillston Calculi for biological systems M. Bernardo, P. Degano, G. Zavattaro, Formal Methods for Computational Systems Biology (SFM 2008) LNCS vol. 5016 2008 Springer 265 312
24. R. Cleaveland, G. Lttgen, and V. Natarajan Priority in process algebra J.A. Bergstra, A. Ponse, S.A. Smolka, Handbook of Process Algebra 2001 Elsevier 711 765
25. V. Danos, J. Feret, W. Fontana, R. Harmer, and J. Krivine Rule-based modelling of cellular signalling Proceedings of CONCUR07 2007 Springer LNCS 17 41
26. A. Degasperi, M. Calder, Process algebra with hooks for models of pattern formation, in: PROC. CS2Bio 2010, 2010, pp. 31-47.
27. A. Degasperi, M. Calder, Multiscale modelling of biological systems in process algebra with multi-way syncrhonization, in: PROC. CMSB 11, 2011.
28. V. Galpin, J. Hillston, and F. Ciocchetta A semantic equivalence for Bio-PEPA based on discretisation of continuous values Theoret. Comput. Sci. 421 2011 2142 2161
29. V. Galpin, J. Hillston, F. Ciocchetta, A semi-quantitative equivalence for abstracting from fast reactions, in: PROC. CompMod, 2011, pp. 34-49.
30. D. Gillespie Exact stochastic simulation of coupled chemical reactions Journal of Physical Chemistry 81 1977 2340
31. M. Hennessy Axiomatising finite concurrent processes SIAM Journal of Computing 17 5 1988 997 1017
32. V. Kumar, A.K. Abbas, N. Fausto, and J. Aster Tissue Renewal, Regeneration, and Repair 8th Edition Robbins and Cotran Pathologic Basis of Disease 2010 Elsevier Saunders
33. M. Kwiatkowski, and I. Stark The continuous Π-calculus: a process algebra for biochemical modelling Proceedings of CMSB08 LNCS vol. 5307 2008 Springer 103 122
34. R.J. van Glabbeek The refinement theorem for st bisimulation semantics Proc. IFIP Working Conference on Programming Concepts and Methods 1990 North Holland
35. R.J. van Glabbeek, and F.W. Vaandrager Petri net models for algebraic theories of concurrency Proc. PARLE LNCS vol. 259 1987 Springer 224 242
36. H. Lodish Molecular Cell Biology 4th Edition 2000 W.H. Freeman New York
37. P. Milazzo, Qualitative and quantitative formal modeling of biological systems, Ph.D. Thesis, Department of Computer Science, University of Pisa, 2007.
38. R. Milner Communication and Concurrency International Series in Computer Science 1989 Prentice Hall 0-131-15007-3
39. R. Milner, J. Parrow, and D. Walker A calculus of mobile processes, I Inf. Comput. 100 1 1992 1 40
40. R. Milner, J. Parrow, and D. Walker A calculus of mobile processes, II Inf. Comput. 100 1 1992 41 77
41. M. Mousavi, M. Gabbay, and M.A. Reniers SOS for higher order processes Proc. CONCUR 2005 LNCS vol. 3653 2005 Springer 308 322 (Pubitemid 41520749)
42. M. Pedersen, and G. Plotkin A language for biochemical systems: design and formal specification Transactions on Computational Systems Biology XII 5945 3 2010 77 145
43. G.D. Plotkin, A structural approach to operational semantics. Tech. Rep. DAIMI FN-19, Aarhus University, Denmark, 1981.
44. C. Priami Stochastic π-calculus The Computer Journal 38 7 1995 578 589
45. C. Priami, A. Regev, E. Shapiro, and W. Silverman Application of a stochastic name-passing calculus to representation and simulation of molecular processes Information Processing Letters 80 2001 25 31 (Pubitemid 32833107)
46. A. Regev, E.M. Panina, W. Silverman, L. Cardelli, and E.Y. Shapiro Bioambients: an abstraction for biological compartments Theoretical Computer Science 325 1 2004 141 167
47. A. Regev, W. Silverman, and E. Shapiro Representation and simulation of biochemical processes using the pi-calculus process algebra Pacific Symposium on Biocomputing, vol. 6 2001 World Scientific Press 459 470
48. B. Ribba, T. Colin, and S. Schnell A multiscale mathematical model of cancer, and its use in analyzing irradiation therapies Theor. Biol. Med. Model 3 7 2006
49. P.M.A. Sloot, and A.G. Hoekstra Multi-scale modelling in computational biomedicine Brief. Bioinform. 2009 10.1093/bib/bbp038
50. B. Thomsen A theory of higher order communicating systems Inform. Comput. 116 1995 38 57