摘要：基于过程代数的方法来形式化计算设备之间的交互，例如政策的表示和冲突的解决。以一个简单但实际的运输问题为例，我们说明了承诺如何在达成协议方面的应用。
作者：Jan Bergstra, Inge Bethke and Mark Burgess
论文ID：0707.0744
分类：Logic in Computer Science
分类简称：cs.LO
提交时间：2007-07-06
PDF 下载： 英文版 中文版pdf翻译中