A semantic equivalence for Bio-PEPA based on discretisation of continuous values

Theoretical Computer Science

Volumn 412, Issue 21, 2011, Pages 2142-2161

  Galpin, Vashti ^a   Hillston, Jane ^a  

^a UNIVERSITY OF EDINBURGH   (United Kingdom)

Author keywords

Biological modelling; Compression bisimulation; Congruence; Discretisation; Process algebra; Semantic equivalence; Stoichiometry

Indexed keywords

BIOLOGICAL MODELLING; COMPRESSION BISIMULATION; CONGRUENCE; DISCRETISATION; PROCESS ALGEBRA; SEMANTIC EQUIVALENCE;

ALGEBRA; EQUIVALENCE CLASSES; SEMANTICS; STOICHIOMETRY;

BIOLOGICAL SYSTEMS;

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

References (32)

1. R. Blossey, L. Cardelli, and A. Phillips A compositional approach to the stochastic dynamics of gene networks C. Priami, L. Cardelli, S. Emmott, Transactions on Computational Systems Biology IV LNCS vol. 3939 2006 Springer 99 122 (Pubitemid 350278761)
2. V. Danos, and C. Laneve Formal molecular biology Theoretical Computer Science 325 2004 69 110
3. 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)
4. C. Priami, and P. Quaglia Beta binders for biological interactions V. Danos, V. Schchter, Computational Methods in Systems Biology, International Conference CMSB 2004, Paris, France LNCS vol. 3082 2005 Springer 20 33 (Pubitemid 41420525)
5. A. Regev, E. Panina, W. Silverman, L. Cardelli, and E. Shapiro BioAmbients: an abstraction for biological compartments Theoretical Computer Science 325 2004 141 167
6. F. Ciocchetta, and J. Hillston Bio-PEPA: a framework for the modelling and analysis of biological systems Theoretical Computer Science 410 2009 3065 3084
7. J. Hillston A Compositional Approach to Performance Modelling 1996 CUP
8. F. Ciocchetta, and J. Hillston Calculi for biological systems M. Bernardo, P. Degano, G. Zavattaro, Formal Methods for Computational Systems Biology SFM08 LNCS vol. 5016 2008 265 312
9. F. Ciocchetta, Bio-PEPA with SBML-like events, in: R.-J. Back, I. Petre (Eds.), Proceedings of the Workshop on Computational Models for Cell Processes, 2008, pp. 1122.
10. F. Ciocchetta, J. Hillston, Bio-PEPA: a framework for the modelling and analysis of biological systems, Tech. Rep. EDI-INF-RR-1231, School of Informatics, University of Edinburgh, 2008.
11. K. Ellavarason, An automatic mapping from the Systems Biology Markup Language to the Bio-PEPA process algebra, Master's Thesis, University of Trento, 2008.
12. O.E. Akman, F. Ciocchetta, A. Degasperi, and M.L. Guerriero Modelling biological clocks with Bio-PEPA: stochasticity and robustness for the Neurospora Crassa circadian network P. Degano, R. Gorrieri, Computational Methods in Systems Biology, International Conference CMSB 2009, Bologna, Italy LNCS vol. 5688 2009 Springer 52 67
13. M.L. Guerriero Qualitative and quantitative analysis of a Bio-PEPA model of the gp130/JAK/STAT signalling pathway C. Priami, R.-J. Back, I. Petre, Transactions on Computational Systems Biology XI LNCS vol. 5750 2009 Springer 90 115
14. L. Bortolussi, and A. Policriti Hybrid dynamics of stochastic programs Theoretical Computer Science 411 2010 2052 2077
15. V. Galpin, J. Hillston, and L. Bortolussi HYPE applied to the modelling of hybrid biological systems Electronic Notes in Theoretical Computer Science 218 2008 33 51
16. V. Galpin, and J. Hillston Equivalence and discretisation in Bio-PEPA P. Degano, R. Gorrieri, Computational Methods in Systems Biology, International Conference CMSB 2009, Bologna, Italy LNCS vol. 5688 2009 Springer 189 204
17. F. Ciocchetta, and M.L. Guerriero Modelling biological compartments in Bio-PEPA Electronic Notes in Theoretical Computer Science 227 2009 77 95
18. A. Duguid, An overview of the Bio-PEPA Eclipse Plug-in, in: Eighth workshop on Process Algebra and Stochastically Time Activities, PASTA, Edinburgh, 2009, pp. 121132.
19. F. Ciocchetta, A. Degasperi, J. Hillston, and M. Calder Some investigations concerning the CTMC and the ODE model derived from Bio-PEPA Electronic Notes in Theoretical Computer Science 229 2009 145 163
20. R. Milner Communication and Concurrency 1989 Prentice Hall
21. R.J. van Glabbeek The linear time-branching time spectrum (extended abstract) J.C.M. Baeten, J.W. Klop, CONCUR'90 LNCS vol. 458 1990 Springer 278 297
22. M. Heiner, D. Gilbert, and R. Donaldson Petri nets for systems and synthetic biology M. Bernardo, P. Degano, G. Zavattaro, Formal Methods for Computational Systems Biology SFM08 LNCS vol. 5016 2008 Springer 215 264
23. F. Fages, and S. Soliman Formal cell biology in Biocham M. Bernardo, P. Degano, G. Zavattaro, Formal Methods for Computational Systems Biology SFM08 LNCS vol. 5016 2008 Springer 54 80
24. M. Calder, and J. Hillston Process algebra modelling styles for biomolecular processes C. Priami, R.-J. Back, I. Petre, Transactions on Computational Systems Biology XI LNCS vol. 5750 2009 Springer 1 25
25. A. Regev, and E. Shapiro Cellular abstractions: cells as computation Nature 419 2002 343
26. C. Laneve, and F. Tarissan A simple calculus for proteins and cells Theoretical Computer Science 404 2008 127 141
27. L. Cardelli, and Brane calculi V. Danos, V. Schchter, Computational Methods in Systems Biology, International Conference CMSB 2004, Paris, France LNCS vol. 3082 2005 Springer 257 278
28. G. Ciobanu, and B. Aman On the relationship between membranes and ambients BioSystems 91 2008 515 530 (Pubitemid 351215721)
29. R. Barbuti, A. Maggiolo-Schettini, P. Milazzo, and A. Troina Bisimulation in calculi modelling membranes Formal Aspects of Computing 20 2008 351 377
30. M.C. Pinto, L. Foss, J.C.M. Mombach, and L. Ribeiro Modelling, property verification and behavioural equivalence of lactose operon regulation Computers in Biology and Medicine 37 2007 134 148 (Pubitemid 44909090)
31. V. Galpin, Equivalences for a biological process algebra (submitted for publication).
32. M. Antoniotti, C. Piazza, A. Policriti, M. Simeoni, and B. Mishra Taming the complexity of biochemical models through bisimulation and collapsing: theory and practice Theoretical Computer Science 325 2004 45 67