×
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的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。