Output details
11 - Computer Science and Informatics
University of Edinburgh
A semantic equivalence for Bio-PEPA based on discretisation of continuous values
<10> Originality: A new style of bisimulation, compression bisimulation, is introduced, which captures behavioural equivalence between sets of states which engage in the same biological reactions, respecting stoichiometry.
Significance: Standard notions of equivalence for process algebras, based on bisimulation are too strong for the reagent-centric style of modeling supported by Bio-PEPA. The compression bisimulation opens the possibility of quantitative reasoning about equivalence of behaviour for system biology models, taking into account discrete approximations of concentrations and multiplicities in reactions.
Rigour: Full proofs are provided and the paper appears in Theoretical Computer Science, one of the top journals in the field.