基于进程代数的承诺理论框架
计算机科学中的逻辑
2007-07-06 v1
摘要
我们提出了一种基于进程代数的方法，用于形式化计算设备之间的交互，例如策略的表示和冲突的解决。作为一个示例，我们说明了如何利用承诺就一个简单但实际的运输问题达成一致。
引用
@article{arxiv.0707.0744,
title = {A process algebra based framework for promise theory},
author = {Jan Bergstra and Inge Bethke and Mark Burgess},
journal= {arXiv preprint arXiv:0707.0744},
year = {2007}
}
评论
9 pages, 4 figures