马西莫·巴托莱蒂;埃米利奥·托斯托;罗伯托·祖尼诺 CO\(_2)中的合同导向计算。 (英语) Zbl 1424.68097号 科学。Ann.计算。科学。 22,第1期,第5-60页(2012年). 摘要:我们介绍了分布式系统中基于契约计算的参数演算CO2。通过从实际的契约语言中抽象出来,我们的演算将契约作为过程和契约作为形式范式进行了推广。演算的特点是广告合同、达成协议和查询合同履行情况的原语。参与者之间的协调是通过多方会议进行的,一旦达成协议,就会创建多方会议。通过将合同建模为CCS变体中的过程和逻辑中的公式,我们给出了两个演算实例。我们通过从作为公式的契约到作为过程的契约的编码,正式地将这两种范式联系起来,这确保了在逻辑系统中可推导的承诺正是通过作为过程的编码可达到的承诺。最后,我们提出了面向合同的系统中可能的错误行为的粗粒度分类法,并通过各种示例对其进行了说明 引用于5文件 MSC公司: 68问题85 并发和分布式计算的模型和方法(进程代数、互模拟、转换网等) 关键词:合同;并发约束编程;多方会议 PDF格式BibTeX公司 XML格式引用 \textit{M.Bartoletti}等人,科学。Ann.计算。科学。22,第1号,第5--60号(2012;Zbl 1424.68097) 全文: 内政部