×

Mutex需要公平。 (英语) Zbl 1336.68182号


MSC公司:

68问题85 并发和分布式计算的模型和方法(进程代数、互模拟、转换网等)
68问题55 计算理论中的语义学
PDF格式BibTeX公司 XML格式引用
全文: 内政部

参考文献:

[1] M.阿巴迪。;Lamport,L.,精化映射的存在性,Theoret。计算。科学。,82, 253-284 (1991) ·Zbl 0728.68083号
[2] 阿普特,K.R。;Francez,N。;Katz,S.,评估分布式编程语言的公平性,分布式计算。,2, 226-241 (1988) ·Zbl 0659.68023号
[3] 贝斯特,E.,公平与阴谋,告密。过程。莱特。,18215-220(1984年)·Zbl 0558.68052号
[4] Best,E.,Semantik(1995年),Vieweg:Vieweg Braunschweig·Zbl 0822.68058号
[5] 贝斯特,E。;Fernández,C.,《非序贯过程》(EATCS理论计算机科学专著,第13卷(1988年),施普林格:施普林格-柏林)·Zbl 0656.68005号
[6] 伯恩斯,G。;Esparza,J.,《箱演算中的互斥陷阱》,Theoret。计算。科学。,153,95-128(1996),(Petri网特别卷)·Zbl 0872.68133号
[7] 戴塞尔,J。;Reisig,W。;Walter,R.,《交替比特协议-公平与优先级》,Petri Net Newsletter,35,3-5(1990)
[8] Dijkstra,E.W.,《并发编程控制问题的解决方案》,美国通信协会,8,9,569(1965)
[9] Dijkstra,E.W.,关于“公平”的立场文件,ACM SIGSOFT软件工程说明,13,2,18-20(1988)
[10] Francez,N.,《公平》(计算机科学文本和专著(1986),施普林格:施普林格柏林)·Zbl 0602.68007号
[11] 美国戈尔茨。;Reisig,W.,Petri网的非顺序行为,Inform。和控制,57,125-147(1983)·Zbl 0551.68050号
[12] 戈姆,D。;Kindler,E。;帕奇,B。;Walter,R.,EN-系统的合成活性特性,(Marsan,M.Ajmone,Petri网的应用和理论,第14届国际会议,Petri网络的应用和原理,第14期国际会议,计算机科学讲稿,第691卷(1993),Springer:Springer Berlin),262-281
[13] Kindler,E.(慕尼黑理工大学博士论文(1995))
[14] Kindler,E。;Walter,R.,消息传递互斥体,(Desel,J。,并发理论中的结构《计算机研讨会》(1995年),施普林格:柏林施普林格出版社,205-291
[15] Kwiatkowska,M.Z.,事件公平性和非中断并发,形式方面计算。,1, 213-228 (1989) ·Zbl 0696.68092号
[16] 莱曼博士。;普努利,A。;Stavi,J.,《公正、正义和公平:并发系统的伦理》,(Even,S.;Kariv,O.,Automata,《语言与编程》,《自动化,语言与编程,计算机科学讲义》,第115卷(1981),Springer:Springer-Berlin),264-277·Zbl 0468.68026号
[17] Manna,Z。;Pnueli,A.,《反应和并发系统的时间逻辑,规范》(1992),施普林格出版社:柏林施普林格
[18] Peterson,G.L.,《关于互斥问题的神话》,Informat。过程。莱特。,12, 3, 115-116 (1981) ·兹伯利0474.68031
[19] Reisig,W.,Petri Nets,(EATCS理论计算机科学专著,第4卷(1985),Springer:Springer Berlin)·Zbl 0521.68057号
[20] Reisig,W.,Das Verhalten verteilter Systeme,GMD-Bericht,170(1987)
[21] 施耐德,F.B。;Lamport,L.,关于“公平”的另一份立场文件,ACM SIGSOFT软件工程笔记,13,3,18-19(1988)
[22] Smith,E.,《因果关系的边界:联系与混淆》,Theoret。计算。科学。,153, 245-270 (1996) ·Zbl 0872.68128号
[23] Valk,R.,《理论与实践:公平的实践》,《Petri Net时事通讯》,第26期,第4-11页(1987年)
[24] Vogler,W.,《公平与偏序语义学》,Informat。过程。莱特。,55, 33-39 (1995) ·Zbl 0875.68622号
[25] Vogler,W.,《Petri网中异步系统和读取弧的效率》(《技术报告》第352号(1996年4月),奥格斯堡大学数学研究所)·Zbl 1401.68235号
[26] Walter,R.,Petrinetzmodelle verteilter Algorithmen-Intuition und Beweistechnik(博士论文(1995),柏林洪堡大学信息研究所)
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。