在通用随机抽象机中实现随机膜演算
计算工程、金融与科学
2012-11-20 v1 计算机科学中的逻辑
摘要
本文致力于解决为随机版膜演算（Brane Calculus）实现抽象机的问题。我们并未定义专用的抽象机，而是采用了由 Lakin、Paulevé和 Phillips 提出的通用随机抽象机。膜的嵌套结构被展平为一组物种，其层次结构通过名称来表示。为了减少此编码引入的开销，我们通过添加写时复制（copy-on-write）优化策略对该机器进行了修改。我们证明了该实现相对于最近为膜演算给出的随机结构操作语义是恰当的。这些技术也可移植到其他处理嵌套结构的随机演算中。
引用
@article{arxiv.1211.4094,
title = {Implementing the Stochastics Brane Calculus in a Generic Stochastic Abstract Machine},
author = {Marino Miculan and Ilaria Sambarino},
journal= {arXiv preprint arXiv:1211.4094},
year = {2012}
}
备注
In Proceedings MeCBIC 2012, arXiv:1211.3476