论作为并发原语的协商
计算机科学中的逻辑
2013-07-09 v1 形式语言与自动机理论
摘要
我们引入了协商 (negotiations)，这是一种接近 Petri 网的并发模型，以多方协商为原语。我们研究了协商的可靠性 (soundness) 问题，以及给定一个可能包含多步的协商，计算其摘要（即等价的一步协商）的问题。我们为可靠、无环、弱确定性协商提供了一套完整的归约规则，并表明对于确定性协商，这些规则能在多项式时间内计算出摘要。
引用
@article{arxiv.1307.2145,
title = {On Negotiation as Concurrency Primitive},
author = {Javier Esparza and Joerg Desel},
journal= {arXiv preprint arXiv:1307.2145},
year = {2013}
}