Tsay,Yih-Kuen先生;拉吉夫·巴格罗迪亚。 某些不可能性会导致进程间同步。 (英语) Zbl 0776.68042号 分布式计算。 6,第4期,221-231(1993). 摘要:我们构造了强公平性下异步进程同步问题的形式化规范。我们证明了强交互公平性对于二进制交互(因此对于多路交互)是不可能的,而强进程公平性对于多路交互也是不可能的。 引用于2文件 MSC公司: 2010年第68季度 计算模式(非确定性、并行、交互式、概率性等) 60年第68季度 规范和验证(程序逻辑、模型检查等) 关键词:同步通信;公平;多路相互作用 软件:联合 PDF格式BibTeX公司 XML格式引用 \textit{Y.-K.Tsay}和\textit{R.L.Bagrodia},分布计算。6,第4号,221--231(1993;Zbl 0776.68042) 全文: 内政部 参考文献: [1] Apt K、Francez N、Katz S:评估分布式编程语言的公平性。分布式计算2(4):226–241(1988)·Zbl 0659.68023号 ·doi:10.1007/BF01872848 [2] Back RJ,Kurki Suonio R:与行动系统的分布式合作。ACM TOPLAS 10(4):513–554(1988)·Zbl 0663.68028号 ·doi:10.1145/48022.48023 [3] Bagrodia RL:进程同步:分布式算法的设计和性能评估。IEEE Trans软件工程15(9):1053–1065(1989)·Zbl 05114354号 ·数字对象标识代码:10.1109/32.31364 [4] Bagrodia RL:CSP中异步进程的同步。ACM TOPLAS 11(4):585–597(1989)·数字对象标识代码:10.1145/69558.69561 [5] Buckley G,Silberschatz A:CSP广义输入输出结构的有效实现。ACM TOPLAS 5(2):223–235(1983)·Zbl 0516.68026号 ·数字对象标识代码:10.1145/69624.357208 [6] Chandy KM,Misra J:过程是如何学习的。分布计算1(1):40–52(1986)·Zbl 0602.68026号 ·doi:10.1007/BF01843569 [7] Chandy KM,Misra J:并行程序设计:基础。艾迪森·韦斯利,1988年·Zbl 0717.68034号 [8] 查尔斯沃思A:多向会合。ACM TOPLAS 9(3):350–366(1987)·Zbl 0623.68024号 ·doi:10.1145/24039.24050 [9] Dijkstra EW:关于“公平”的立场文件。ACM SIGSOFT 13(2):18–20(1988)·数字对象标识代码:10.1145/43846.43848 [10] Emerson EA,Srinivasan J:分支时间时序逻辑。在:de Bakker JW,de Roever WP,Rozenberg G(编辑)。并行逻辑和模型中的线性时间、分支时间和部分顺序。Lect Notes Compute Sci,第354卷,施普林格,柏林-海德堡,纽约1989年,第123–172页 [11] Fischer MJ、Lynch N、Paterson M:在一个错误的过程中不可能达成分布式共识。美国临床医学杂志32(2):374–382(1985)·Zbl 0629.68027号 ·数字对象标识代码:10.1145/3149.214121 [12] 弗朗西斯·N:公平。施普林格,柏林-海德堡,纽约1986 [13] Francez N:为具有多方交互的分布式程序提供合作证明。Inf过程快报32(5):235–242(1989)·doi:10.1016/0020-0190(89)90049-5 [14] Francez N,Hailpern B,Taubenfeld G:脚本:通信抽象机制。科学计算程序6(1):35–88(1986)·Zbl 0575.68026号 ·doi:10.1016/0167-6423(86)90018-3 [15] Hoare CAR:传达顺序过程。CACM 21(8):666–677(1978)·Zbl 0383.68028号 [16] Joung Y-J,Smolka SA:协调一阶多方互动。收录于:1991年第18届美国计算机学会程序设计语言原则研讨会,第209-220页 [17] Ramesh S:多进程同步的一种新的高效实现。收录人:de Bakker JW、Nijman AJ、Trelevan PC(eds)PARLE Parallel Architecture and Languages Europe。Lect Notes计算机科学,第259卷。Springer,Berlin Heidelberg New York 1987,第387–401页·兹比尔0615.68027 [18] Ramesh S:带有输出保护的CSP的新实现。收录:1987年第7届分布式计算系统国际会议,第266-273页 [19] Sistla AP:确保公平进程间通信的分布式算法。收录:1984年第三届ACM分布式计算原理年度研讨会,第266-277页 [20] Tsay Y-K,Bagrodia RL:公平进程间同步的实时算法。收录:第12届分布式计算系统国际会议,第716–723页,1992年 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。