Projects per year
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 maximum 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 maximum number of levels, by using the idea of equivalence from concurrency and process algebra. We present a novel behavioural semantic equivalence, compression bisimulation, that equates two discretisations of the same model and we show that this equivalence is a congruence with respect to the synchronisation operator.
|Title of host publication||Computational Methods in Systems Biology|
|Subtitle of host publication||7th International Conference, CMSB 2009, Bologna, Italy, August 31-September 1, 2009. Proceedings|
|Editors||Pierpaolo Degano, Roberto Gorriero|
|Number of pages||16|
|Publication status||Published - 2009|
|Name||Lecture Notes in Computer Science|
|Publisher||Springer Berlin / Heidelberg|
FingerprintDive into the research topics of 'Equivalence and discretisation in Bio-PEPA'. Together they form a unique fingerprint.
- 4 Finished
1/09/07 → 31/01/11
1/12/06 → 30/11/09