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

文章基本信息

  • 标题:Implementing the Stochastics Brane Calculus in a Generic Stochastic Abstract Machine
  • 本地全文:下载
  • 作者:Marino Miculan ; Ilaria Sambarino
  • 期刊名称:Electronic Proceedings in Theoretical Computer Science
  • 电子版ISSN:2075-2180
  • 出版年度:2012
  • 卷号:100
  • 页码:82-100
  • DOI:10.4204/EPTCS.100.6
  • 出版社:Open Publishing Association
  • 摘要:In this paper, we deal with the problem of implementing an abstract machine for a stochastic version of the Brane Calculus. Instead of defining an ad hoc abstract machine, we consider the generic stochastic abstract machine introduced by Lakin, Paulevé and Phillips. The nested structure of membranes is flattened into a set of species where the hierarchical structure is represented by means of names. In order to reduce the overhead introduced by this encoding, we modify the machine by adding a copy-on-write optimization strategy. We prove that this implementation is adequate with respect to the stochastic structural operational semantics recently given for the Brane Calculus. These techniques can be ported also to other stochastic calculi dealing with nested structures.
国家哲学社会科学文献中心版权所有