关于作为并发原语的协商 II：确定性循环协商
计算机科学中的逻辑
2016-12-28 v2
摘要
我们继续研究协商，这是一种以多方协商为原语的并发模型。在先前的一篇论文 (arXiv:13072145) 中，我们为健全、无环且（弱）确定性的协商提供了一套正确且完备的归约规则。在本文中，我们将此结果推广至所有确定性协商，包括循环协商。我们还证明了这套规则允许在多项式时间内判定健全性并汇总协商。
引用
@article{arxiv.1403.4958,
title = {On Negotiation as Concurrency Primitive II: Deterministic Cyclic Negotiations},
author = {Javier Esparza and Jörg Desel},
journal= {arXiv preprint arXiv:1403.4958},
year = {2016}
}
备注
Unfortunately, while preparing a journal version of this contribution we have discovered that Lemma 3 is wrong. We have uploaded a preprint of the journal version to arXiv (article 1612.07912). The preprint contains a counterexample to the lemma and a corrected reduction procedure