关于两种合规性概念的注记
编程语言
2014-10-29 v1 计算机科学与博弈论
摘要
我们建立了两种契约模型之间的关系：二元会话类型，以及基于事件结构和博弈论概念的模型。特别是，我们证明了会话类型中的合规性对应于基于博弈的契约中某些获胜策略的存在。
引用
@article{arxiv.1410.7472,
title = {A note on two notions of compliance},
author = {Massimo Bartoletti and Tiziana Cimoli and G. Michele Pinna},
journal= {arXiv preprint arXiv:1410.7472},
year = {2014}
}
备注
In Proceedings ICE 2014, arXiv:1410.7013