膜演算系统：其可能行为的静态预览
计算机科学中的逻辑
2011-08-18 v1 新兴技术
摘要
我们通过添加上下文信息并引入膜上的因果信息，改进了先前针对膜演算的控制流分析的精度。这使得我们能够证明在膜演算中指定的系统行为的一些生物学性质。
引用
@article{arxiv.1108.3429,
title = {Brane Calculi Systems: A Static Preview of their Possible Behaviour},
author = {Chiara Bodei and Linda Brodo},
journal= {arXiv preprint arXiv:1108.3429},
year = {2011}
}
备注
Presented at MeCBIC 2011