偶图精化
软件工程
2011-06-22 v1
摘要
我们提出了一种用于偶图反应系统垂直精化的机制，该机制基于一种限制观察的方法并利用了偶图的底层范畴结构。我们展示了一个启发性示例，以证明所提出的精化概念在偶图反应系统理论中是合理的；并且我们提出了一个保证存在保安全性垂直精化的充分条件。我们假定存在一个用于偶图智能体的互补水平精化概念，最后我们讨论了本工作与 Reeves 和 Streader 通用精化理论的联系。
引用
@article{arxiv.1106.4091,
title = {Bigraphical Refinement},
author = {Gian Perrone and Søren Debois and Thomas Hildebrandt},
journal= {arXiv preprint arXiv:1106.4091},
year = {2011}
}
备注
In Proceedings Refine 2011, arXiv:1106.3488