Equivalence and discretisation in bio-pepa

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 5688 LNBI, Issue , 2009, Pages 189-204

  Galpin, Vashti ^a   Hillston, Jane ^a  

^a UNIVERSITY OF EDINBURGH   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

BISIMULATIONS; DISCRETE LEVELS; DISCRETISATION; PROCESS ALGEBRAS; SEMANTIC EQUIVALENCES; STATE SPACE; STEP SIZE; SYNCHRONISATION;

BIOLOGICAL SYSTEMS; COMPUTATIONAL METHODS;

ALGEBRA;

EID: 70349331064     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-03845-7_13     Document Type: Conference Paper

References (20)

1. Blossey, R., Cardelli, L., Phillips, A.: A compositional approach to the stochastic dynamics of gene networks. In: Priami, C., Cardelli, L., Emmott, S. (eds.) Transactions on Computational Systems Biology IV. LNCS (LNBI), vol. 3939, pp. 99-122. Springer, Heidelberg (2006)
2. Danos, V., Laneve, C.: Formal molecular biology. Theoretical Computer Science 325, 69- 110 (2004)
3. Priami, C., Regev, A., Shapiro, E., Silverman, W.: Application of a stochastic name-passing calculus to representation and simulation of molecular processes. Information Processing Letters 80, 25-31 (2001)
4. Priami, C., Quaglia, P.: Beta binders for biological interactions. In: Danos, V., Schächter, V. (eds.) CMSB 2004. LNCS (LNBI), vol. 3082, pp. 20-33. Springer, Heidelberg (2005)
5. Regev, A., Panina, E., Silverman, W., Cardelli, L., Shapiro, E.: BioAmbients: an abstraction for biological compartments. Theoretical Computer Science 325, 141-167 (2004)
6. Ciocchetta, F., Hillston, J.: Bio-PEPA: a framework for the modelling and analysis of biological systems. Theoretical Computer Science (in press)
7. Hillston, J.: A compositional approach to performance modelling. CUP (1996)
8. Ciocchetta, F., Hillston, J.: Calculi for biological systems. In: Formal Methods for Computational Systems Biology. In: SFM 2008. LNCS, vol. 5016, pp. 265-312. Springer, Heidelberg (2008)
9. Ciocchetta, F.: Bio-PEPA with SBML-like events. In: Back, R.J., Petre, I. (eds.) Proceedings of the Workshop on Computational Models for Cell Processes, pp. 11-22 (2008)
10. Ciocchetta, F., Hillston, J.: Bio-PEPA: a framework for the modelling and analysis of biological systems. Technical Report EDI-INF-RR-1231, School of Informatics, University of Edinburgh (2008)
11. Ellavarason, K.: An automatic mapping from the Systems Biology Markup Language to the Bio-PEPA process algebra. Master's thesis, University of Trento (2008)
12. Akman, O.E., Ciocchetta, F., Degasperi, A., Guerriero, M.L.: Modelling biological clocks with Bio-PEPA: stochasticity and robustness for the Neurospora Crassa circadian network. To appear in Proceedings of CMSB 2009 (2009)
13. Guerriero, M.L.: Qualitative and quantitative analysis of a Bio-PEPA model of the gp130/JAK/STAT signalling pathway. To appear in TCSB 14. Milner, R.: Communication and concurrency. Prentice Hall, Englewood Cliffs (1989)
14. Milner, R.: Communication and concurrency. Prentice Hall, Englewood Cliffs (1989)
15. Regev, A., Shapiro, E.: Cellular abstractions: Cells as computation. Nature 419, 343 (2002)
16. Laneve, C., Tarissan, F.: A simple calculus for proteins and cells. Theoretical Computer Science 404, 127-141 (2008)
17. Pinto, M.C., Foss, L., Mombach, J.C.M., Ribeiro, L.: Modelling, property verification and behavioural equivalence of lactose operon regulation. Computers in Biology and Medicine 37, 134-148 (2007)
18. Antoniotti, M., Piazza, C., Policriti, A., Simeoni, M., Mishra, B.: Taming the complexity of biochemical models through bisimulation and collapsing: theory and practice. Theoretical Computer Science 325, 45-67 (2004)
19. Ciobanu, G., Aman, B.: On the relationship between membranes and ambients. BioSystems (91), 515-530 (2008)
20. Barbuti, R., Maggiolo-Schettini, A., Milazzo, P., Troina, A.: Bisimulation in calculi modelling membranes. Formal Aspects of Computing 20, 351-377 (2008)