用于 pi 演算的全抽象并发博弈
计算机科学中的逻辑
2013-10-17 v1
摘要
我们为 Milner 的 pi 演算定义了一种语义，具有三个主要创新点。首先，它为公平测试等价性提供了一个全抽象模型，而此前的语义涵盖的是双模拟变体以及 may 和 must 测试等价性。其次，它基于归约语义，而此前的语义基于标号转换系统。最后，它具有强烈的 Hyland-Ong 和 Nickau 意义上的博弈论语义风格。事实上，我们的模型既可以被视为一种无辜预层语义，也可以被视为一种并发博弈语义。
引用
@article{arxiv.1310.4306,
title = {Fully-abstract concurrent games for pi},
author = {Clovis Eberhart and Tom Hirschowitz and Thomas Seiller},
journal= {arXiv preprint arXiv:1310.4306},
year = {2013}
}
备注
20 pages, submitted