包裹隔室的随机演算
计算工程、金融与科学
2010-06-29 v1 形式语言与自动机理论
计算机科学中的逻辑
定量方法
摘要
包裹隔室演算(CWC)是循环序列演算(CLS)的一个变体。在保持相同表达能力的同时，CWC极大地简化了用于分析生物系统的自动工具的开发。主要简化在于去除了序列化算子，从而减轻了项中待匹配模式的形式化处理负担（在CLS中，其复杂度受序列中变量匹配的严重影响）。我们为这种新演算定义了随机语义。作为应用，我们模拟了巨噬细胞与凋亡中性粒细胞之间的相互作用以及大肠杆菌中的基因调控机制。
引用
@article{arxiv.1006.5099,
title = {Stochastic Calculus of Wrapped Compartments},
author = {Mario Coppo and Ferruccio Damiani and Maurizio Drocco and Elena Grassi and Angelo Troina},
journal= {arXiv preprint arXiv:1006.5099},
year = {2010}
}