A semi-quantitative equivalence for abstracting from fast reactions

Vashti Galpin
Jane Hillston
Federica Ciocchetta

Semantic equivalences are used in process algebra to capture the notion of similar behaviour, and this paper proposes a semi-quantitative equivalence for a stochastic process algebra developed for biological modelling. We consider abstracting away from fast reactions as suggested by the Quasi-Steady-State Assumption. We define a fast-slow bisimilarity based on this idea. We also show congruence under an appropriate condition for the cooperation operator of Bio-PEPA. The condition requires that there is no synchronisation over fast actions, and this distinguishes fast-slow bisimilarity from weak bisimilarity. We also show congruence for an operator which extends the reactions available for a species. We characterise models for which it is only necessary to consider the matching of slow transitions and we illustrate the equivalence on two models of competitive inhibition.

In Ion Petre and Erik de Vink: Proceedings Third International Workshop on Computational Models for Cell Processes (CompMod 2011), Aachen, Germany, September 10, 2011, Electronic Proceedings in Theoretical Computer Science 67, pp. 34–49.
Published: 8th September 2011.

ArXived at: http://dx.doi.org/10.4204/EPTCS.67.5 bibtex PDF
References in reconstructed bibtex, XML and HTML format (approximated).
Comments and questions to: eptcs@eptcs.org
For website issues: webmaster@eptcs.org