首页    期刊浏览 2024年11月25日 星期一
登录注册

文章基本信息

  • 标题:A semi-quantitative equivalence for abstracting from fast reactions
  • 本地全文:下载
  • 作者:Vashti Galpin ; Jane Hillston ; Federica Ciocchetta
  • 期刊名称:Electronic Proceedings in Theoretical Computer Science
  • 电子版ISSN:2075-2180
  • 出版年度:2011
  • 卷号:67
  • 页码:34-49
  • DOI:10.4204/EPTCS.67.5
  • 出版社:Open Publishing Association
  • 摘要: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.
国家哲学社会科学文献中心版权所有