关于不诚实系统中合同可实现性的研究
摘要：行为契约理论：一个计算的每一步骤上，它明确地界定出是谁在负有责任。在特定环境S中，当交互行为中她不需承担责任时，参与者为诚实的。我们的主要研究结果是一个足够的标准来判断一个参与者在所有可能的情境中是否为诚实。
作者：Massimo Bartoletti and Emilio Tuosto and Roberto Zunino
论文ID：1201.6188
分类：Programming Languages
分类简称：cs.PL
提交时间：2012-01-31