CCS的作为预层和交互等价的无辜策略
Innocent strategies as presheaves and interactive equivalences for CCS
摘要：
寻求一个一般的框架推理和比较程序设计语言，我们得出一个新的米尔纳的CCS的看法。我们构建了一个戏剧的类别E和一个观点的子类别V。我们认为，V上的预层充分代表无辜的策略，在游戏语义的意义上。然后，我们用简单的互动概念来装备无辜的策略。这导致对CCS的解释。在此基础上，我们提出了一个概念的无辜的战略，这是接近的精神Beffara的解释测试等价并发理论的交互式等价。在这个框架中，我们证明了公平和必须测试等价物的类似物一致，而他们在标准设置不同。
英文摘要：
Seeking a general framework for reasoning about and comparing programming languages, we derive a new view of Milner's CCS. We construct a category E of plays, and a subcategory V of views. We argue that presheaves on V adequately represent innocent strategies, in the sense of game semantics. We then equip innocent strategies with a simple notion of interaction. This results in an interpretation of CCS. Based on this, we propose a notion of interactive equivalence for innocent strategies, which is close in spirit to Beffara's interpretation of testing equivalences in concurrency theory. In this framework we prove that the analogues of fair and must testing equivalences coincide, while they differ in the standard setting.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
