安德烈亚斯·达尔斯加德（Andreas E.Dalsgaard）。;埃内沃尔森，瑟伦;彼得·福格;Lasse S.延森。;彼得·詹森（Peter G.Jensen）。;托拜厄斯·杰普森。;伊莎贝拉·考夫曼;拉森，金·G。;索伦·尼尔森。;Mads Chr.奥列森。;塞缪尔·帕斯特瓦;斯尔巴，吉里耶 扩展依赖图的分布式定点算法。 （英语） Zbl 1396.68070号 芬丹。通知。 161，第4期，351-381（2018）. 摘要：等价性和模型检查问题可以编码为计算依赖关系图上的不动点。依赖图通过超边表示图中节点之间的因果依赖。我们建议扩展具有所谓否定边的依赖图模型，以提高其适用性。图形（以及验证问题）受到状态空间爆炸问题的影响。为了解决这个问题，我们设计了一个实时算法来有效地计算扩展依赖图上的不动点。我们的算法补充了以前的方法，在某些情况下，除了值1的标准反向传播之外，还可以反向传播域值0。最后，我们设计了该算法的一个分布式版本，并在我们的开源工具TAPAAL中实现，并在Petri网模型和年度模型检查竞赛CTL查询的基准测试上证明了我们的通用方法的效率。 引用于三文件 MSC公司： 60年第68季度 规范和验证（程序逻辑、模型检查等） 68问题85 并发和分布式计算的模型和方法（进程代数、互模拟、转换网等） 68宽15 分布式算法 PDF格式BibTeX公司 XML格式引用 \textit{A.E.Dalsgaard}等人，Fundam。通知。161、4号、351--381（2018；Zbl 1396.68070） 全文： 内政部