维姆·赫塞林克。 相互排斥的锦标赛：验证和并发复杂性。 （英语） Zbl 1375.68079号 正式Asp。计算。 29，第5号，833-852（2017）. MSC公司： 60年第68季度 规范和验证（程序逻辑、模型检查等） 68问题85 并发和分布式计算的模型和方法（进程代数、互模拟、转换网等） 68兰特 计算机科学中的图论（包括图形绘制） 68宽15 分布式算法 关键词：相互排斥；统一；并发；共享变量；并发复杂性 软件：联合 PDF格式BibTeX公司 XML格式引用 \textit{W.H.Hesselink}，正式Asp。计算。29，No.5，833--852（2017；Zbl 1375.68079） 全文： 内政部 参考文献： [1] Apt KR、de Boer FS、Olderog E-R（2009）《顺序和并发程序的验证》。纽约州施普林格·Zbl 1183.68361号 [2] Buhr PA、Dice D、Hesselink WH（2015）《互斥的高性能N线程软件解决方案》。Concurr计算实践专家。27:651-701. doi:10.1002/cpe.3263 [3] Buhr PA、Dice D、Hesselink WH（2016）Dekker的互斥算法使RW安全。Concurr计算实践实验28:144-165。doi:10.1002/cpe.3659 [4] Burns JE（1981）《异步并行进程之间通信的复杂性》，佐治亚理工学院信息与计算机科学学院博士论文 [5] Chandy KM，Misra J（1988）并行程序设计，基础。Addison-Wesley，美国·Zbl 0717.68034号 [6] de Bruijn NG（1967）关于并发编程控制问题的附加评论。Commun ACM 10:137-138（致编辑的信） [7] Dijkstra EW（1965）并发编程控制问题的解决方案。社区ACM 8:569·数字对象标识代码：10.1145/365559.365617 [8] Hesselink WH（1999）有限公平下的进步。分布计算12:197-207·Zbl 1448.68111号 ·doi:10.1007/s004460050066 [9] Hesselink WH（2015）四个共享位的互斥，复杂性不超过二次。科学计算程序102:57-75。doi:10.1016/j.scico.2015.01.001 [10] Hesselink WH（2016）《黑白烘焙算法的正确性和并发复杂性》。形式方面计算28:325-341。doi:10.1007/s00165-016-0364-4·Zbl 1342.68348号 [11] Hesselink WH（2016）PVS证明脚本：相互排斥的锦标赛。http://wimhesselink.nl/mechver/tournaments（2016年8月8日访问） [12] Kessels DE（1982）无通用可修改变量的仲裁。信息学报17:135-141·Zbl 0468.90006号 [13] Knuth DE（1966）关于并发编程控制问题的补充评论。Commun ACM 9:321-322（致编辑的信） [14] Lamport L（1974）Dijkstra并发编程问题的新解决方案。通用ACM 17:453-455·Zbl 0281.68004号 ·doi:10.1145/361082.361093 [15] Lamport L（1986）互斥问题第一部分：进程间通信理论，第二部分：陈述和解决方案。美国临床医学杂志33:313-348·Zbl 0627.68017号 ·doi:10.1145/5383.5384 [16] Lycklama EA，Hadzilacos V（1991）具有小通信变量的首次出现的互斥算法。ACM Trans程序语言系统13:558-576·doi:10.1145/115372.115370 [17] Mellor-Crummey JM，Scott ML（1991）共享内存多处理器上可伸缩同步的算法。ACM事务计算系统9:21-65·数字对象标识代码：10.1145/103727.103729 [18] Misra J（2001）多道程序设计学科：分布式应用程序的编程理论。纽约州施普林格·Zbl 0999.68121号 ·doi:10.1007/978-1-4419-8528-6 [19] Owicki S，Gries D（1976）并行程序的公理证明技术。学报信息6:319-340·Zbl 0312.68011号 ·doi:10.1007/BF00268134 [20] Owre S、Shankar N、Rushby JM、Stringer-Calvert DWJ（2001）《PVS 2.4版系统指南》、《验证程序指南》和《PVS语言参考》。http://pvs.csl.sri.com [21] Peterson GL（1981）关于互斥问题的神话。Inf流程快报12:115-116·Zbl 0474.68031号 ·doi:10.1016/0020-0190（81）90106-X [22] Peterson GL，Fischer MJ（1977）分布式系统中关键部分问题的经济解决方案（扩展摘要）。摘自：STOC’77：第九届美国计算机学会计算理论年会论文集，纽约。美国计算机学会，第91-97页 [23] Taubenfeld G（2004）《Black-White Bakery算法及相关的有界空间、自适应、局部旋转和FIFO算法》。收录于：DISC会议录，LNCS，第3274卷，第56-70页·兹比尔1110.68546 [24] Xu Q，de Roever W-P，He J（1997）共享变量并发程序验证的可靠保证方法。形式方面计算9:149-174·Zbl 0874.68202号 [25] Zhang X，Yan Y，Castenada R（1996）在共享内存多处理器上评估和设计软件互斥算法。IEEE并行分发技术系统应用4:25-42 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。