作为预层的天真策略与 CCS 的交互等价性
计算机科学中的逻辑
2011-08-03 v1
摘要
为了寻求一个用于推理和比较编程语言的通用框架，我们推导出了对 Milner 的 CCS 的新视角。我们构建了一个博弈范畴 和一个视图子范畴 。我们论证了 上的预层足以表示博弈语义意义上的天真策略（innocent strategies）。随后，我们为天真策略配备了一个简单的交互概念，从而得到了 CCS 的一种解释。基于此，我们提出了天真策略的交互等价性概念，其在精神实质上接近 Beffara 对并发理论中测试等价性的解释。在此框架下，我们证明了公平测试等价性与必须测试等价性的类比形式是重合的，而它们在标准设定中则是不同的。
引用
@article{arxiv.1108.0463,
title = {Innocent strategies as presheaves and interactive equivalences for CCS},
author = {Tom Hirschowitz and Damien Pous},
journal= {arXiv preprint arXiv:1108.0463},
year = {2011}
}
备注
In Proceedings ICE 2011, arXiv:1108.0144