A semi-quantitative equivalence for abstracting from fast reactions

Vashti Galpin, Jane Hillston, Federica Ciocchetta

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Abstract / Description of output

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.
Original languageEnglish
Title of host publicationProceedings Third International Workshop on Computational Models for Cell Processes
EditorsIon Petre, Erik P. de Vink
Pages34-49
Number of pages16
Volume67
DOIs
Publication statusPublished - 2011

Publication series

NameEPTCS

Fingerprint

Dive into the research topics of 'A semi-quantitative equivalence for abstracting from fast reactions'. Together they form a unique fingerprint.

Cite this