Projects per year
Abstract
Bio-PEPA is a process algebra for modelling biological systems. An important aspect of Bio-PEPA is the ability it provides to discretise concentrations resulting in a smaller, more manageable state space. The discretisation is based on a step size which determines the size of each discrete level and also the number of levels. This paper considers the relationship between two discretisations of the same Bio-PEPA model that differ only in the step size and hence the number of levels, by using the idea of equivalence from concurrency and process algebra. We present a novel behavioural semantic equivalence, compression bisimilarity, and investigate when this equates two discretisations of the same model and the circumstances in which this equivalence is a congruence with respect to the synchronisation operator. (C) 2011 Elsevier B.V. All rights reserved.
Original language | English |
---|---|
Pages (from-to) | 2142-2161 |
Number of pages | 20 |
Journal | Theoretical Computer Science |
Volume | 412 |
Issue number | 21 |
DOIs | |
Publication status | Published - 6 May 2011 |
Keywords / Materials (for Non-textual outputs)
- Process algebra
- Biological modelling
- Discretisation
- Semantic equivalence
- Compression bisimulation
- Congruence
- Stoichiometry
Fingerprint
Dive into the research topics of 'A semantic equivalence for Bio-PEPA based on discretisation of continuous values'. Together they form a unique fingerprint.Projects
- 2 Finished
-
SIGNAL: SIGNAL -Stochastic process algebra for biochemical signaling pathway analysis
Gilmore, S. (Principal Investigator) & Hillston, J. (Co-investigator)
1/09/07 → 31/01/11
Project: Research
-
SynthSys; formerly CSBE: Centre for Systems Biology at Edinburgh
Millar, A. (Principal Investigator), Beggs, J. (Co-investigator), Ghazal, P. (Co-investigator), Goryanin, I. (Co-investigator), Hillston, J. (Co-investigator), Plotkin, G. (Co-investigator), Tollervey, D. (Co-investigator), Walton, A. (Co-investigator) & Robertson, K. (Researcher)
8/01/07 → 31/12/12
Project: Research