Output details
11 - Computer Science and Informatics
University of Edinburgh
Equivalences for a biological process algebra
<10> Originality: Theoretical investigation of Bio-PEPA including showing that existing behavioural equivalences for stochastic process algebras are too strict. A novel and general definition of bisimulation, using a function, which is a congruence under reasonable conditions on the function. Choice of function gives qualitative or quantitative equivalence.
Significance: First quantitative equivalence for a biological process algebra. Demonstrates use of process algebra and the new bisimulation to show the role of different species in pathways such as EGF, as illustrated by case study.
Rigour: Full proofs (checked by two reviewers) are provided. Model expressed using Bio-PEPA software and invariants automatically derived.