机构名称：
¥ 7.0
摘要。我们探索了Castellan，Clairambault和Winskel的薄薄游戏之间的联系，以及由Laird，Manzonetto，McCusker和Pagani研究的线性逻辑的加权关系模型。更确切地说，我们表明，从前者到后者有一个解释的“崩溃”函数。在对象上，函子为每个游戏定义了一组可能的执行状态。定义对形态的作用更加微妙，这是本文的主要贡献。鉴于策略和执行状态，我们的函子需要在战略中计算该状态的证人。薄薄的并发游戏中的策略明确地描述了非线性行为，因此总的来说，每个证人都存在于许多对称副本中。挑战是定义证人的正确概念，在与加权关系模型匹配的同时考虑了这个无穷大。了解证人的构成方式特别微妙，需要深入研究证人及其对称性的组合。以其基本形式，该函子连接了薄的并发游戏和由n∪{ +∞}加权的关系模型。我们还将考虑一个广义设置，其中两个模型都由任意连续半段的元素加权；这涵盖了概率案件。目击者现在还从半段中带有一个价值，而我们的解释崩溃函数则扩展到此设置。
与对称的并发游戏的定量崩溃
主要关键词
相关文件推荐
