CCS 中公平测试的完全抽象性
计算机科学中的逻辑
2013-05-28 v1
摘要
在与 Pous 的前期工作中，我们定义了 CCS 的一种语义，该语义既可视为无辜预层语义，也可视为并发博弈语义。本文证明了由该语义在 CCS 进程上诱导的行为等价性对于公平测试等价性是完全抽象的。证明依赖于一种称为 playground 的新代数概念，它代表了“游戏规则”。从任意 playground 出发，可导出两种配备标号转移系统的语言，以及它们之间的强函数互模拟。
引用
@article{arxiv.1305.6184,
title = {Full abstraction for fair testing in CCS},
author = {Tom Hirschowitz},
journal= {arXiv preprint arXiv:1305.6184},
year = {2013}
}
备注
15 pages, to appear in CALCO '13. To appear Lecture notes in computer science (2013)