Projects per year
Abstract
This paper investigates BioPEPA, the stochastic process algebra for biological modelling developed by Ciocchetta and Hillston. It focuses on BioPEPA with levels where molecular counts are grouped or concentrations are discretised into a finite number of levels. Basic properties of welldefined BioPEPA systems are established after which equivalences used for the stochastic process algebra PEPA are considered for BioPEPA, and are shown to be identical for welldefined BioPEPA systems. Two new semantic equivalences parameterised by functions, called gbisimilarity and weak gbisimilarity are introduced. Different functions lead to different equivalences for BioPEPA. Congruence is shown for both forms of gbisimilarity under certain reasonable conditions on the function and the use of these equivalences are demonstrated with a biologicallymotivated example where two similar species are treated as a single species, and modelling of alternative pathways in the MAPK kinase signalling cascade.
Original language  English 

Pages (fromto)  60586082 
Number of pages  25 
Journal  Theoretical Computer Science 
Volume  412 
Issue number  43 
DOIs  
Publication status  Published  Oct 2011 
Keywords
 Congruence
 Process algebra
 Biological modelling
 Discretisation
 Semantic equivalence
 Parameterised bisimulation
Fingerprint
Dive into the research topics of 'Equivalences for a biological process algebra'. Together they form a unique fingerprint.Projects
 1 Finished

SIGNAL: SIGNAL Stochastic process algebra for biochemical signaling pathway analysis
1/09/07 → 31/01/11
Project: Research