可撤销性、游戏和会话合约的协调器
摘要：会话合同是一种形式化工具，可以用于研究客户/服务器的交互协议并解释会话类型。我们扩展会话合同，以便表示在交互中实际发送取决于第三方或合作伙伴之间的相互协议的输出。因此，这样的合同是可适应的。在客户/服务器系统中，遵守通常代表服务器满足客户所有的请求。我们定义了“可适应遵守”的抽象概念，并展示了其具有精确的三方博弈论解释。这进而被证明等同于基于可能发生一系列故障和回滚的交互的遵守，以及基于可以由协调者进行调解的交互的遵守。此外，获胜策略和协调者之间存在一对一的有效对应关系。还研究了可适应合同的子合同关系。
作者：Franco Barbanera and Ugo de'Liguoro
论文ID：1701.06142
分类：Logic in Computer Science
分类简称：cs.LO
提交时间：2023-06-22