一种偶图关系模型
计算机科学中的逻辑
2011-11-02 v1
摘要
在本文中，我们为偶图反应系统 [Milner09] 提出了一种基于关系的模型。其定义性特征是，有效性和反应关系被捕获为多重集重写系统中的迹。该关系模型源自 Milner 的图形化定义，并可直接付诸实现。
引用
@article{arxiv.1111.0086,
title = {A Bigraph Relational Model},
author = {Maxime Beauquier and Carsten Schürmann},
journal= {arXiv preprint arXiv:1111.0086},
year = {2011}
}
备注
In Proceedings LFMTP 2011, arXiv:1110.6685