Computer Science – Computational Engineering – Finance – and Science
Scientific paper
2011-09-07
EPTCS 67, 2011, pp. 34-49
Computer Science
Computational Engineering, Finance, and Science
In Proceedings CompMod 2011, arXiv:1109.1044
Scientific paper
10.4204/EPTCS.67.5
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.
Ciocchetta Federica
Galpin Vashti
Hillston Jane
No associations
LandOfFree
A semi-quantitative equivalence for abstracting from fast reactions does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.
If you have personal experience with A semi-quantitative equivalence for abstracting from fast reactions, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and A semi-quantitative equivalence for abstracting from fast reactions will most certainly appreciate the feedback.
Profile ID: LFWR-SCP-O-305699