×

保持公平:对等和组合。 (英语) Zbl 1431.68077号

自1987年E.W.Dijkstra提出公平概念以来,针对不同模型的各种公平概念已经被引入、讨论和比较。大致来说,公平性排除了分布式系统或程序的无限执行,在这些系统或程序中,本地组件没有进展或没有执行某个活动,尽管这种活动经常会持续或无限地发生。公平性不是分布式系统的语义属性,而是一种假设,将相关行为限制为尊重公平的执行。
分布式系统形式化建模语言的每个语义概念都会在模型上引入等价概念,表示模型的语义等价,即根据该语义的相同行为。不幸的是,这种对等并不总是尊重公平。本文的第一个贡献是保留了公平性假设的等价谱。
分布式系统的建模语言配备了一个组合运算符,用于诱导组件执行的并行组合。本文还从公平性的角度分析了并行复合算子及其同步机制。

MSC公司:

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

参考文献:

[1] Dijkstra,E.W.,并发编程控制中问题的解决,Commun。ACM,8,9569(1965年)
[2] Knuth,D.E.,关于并发编程控制问题的补充评论,Commun。美国医学会,9,5,321-322(1966)
[3] van Glabbeek,R.J.,《线性时间分支时间谱》,(Baeten,J.C.M.;Klop,J.W.,CONCUR’90并发理论:统一与扩展,荷兰阿姆斯特丹,1990年8月27日至30日,《会议录》(1990),柏林施普林格-海德堡:柏林施普林格·海德堡,海德堡),278-297
[4] van Glabbeek,R.J.,《线性时间分支时间谱II》,(Best,E.,CONCUR’93:第四届并发理论国际会议, 66-81
[5] 轩尼诗,M。;Milner,R.,《不确定性和并发性的代数定律》,J.ACM,32,1,137-161(1985)·Zbl 0629.68021号
[6] 莫勒,F。;Rabinovich,A.,《论CTL的表达能力》,(第十四届计算机科学逻辑研讨会论文集(1999)),360-368,(分类号PR00158)
[7] Plotkin,G.D.,《可数不确定性的权力域》,418-428(1982),施普林格·柏林-海德堡:施普林格-柏林-海德堡-柏林,海德堡·Zbl 0511.68032号
[8] Francez,N.,Fairness(1986),Springer-Verlag纽约公司:Springer-Verlag纽约有限公司,美国纽约州纽约市·兹比尔0602.68007
[9] Reisig,W.,《分布式算法的要素:用Petri网建模和分析》(1998),施普林格-柏林-海德堡:施普林格·Zbl 0907.68130号
[10] 布鲁克斯,S.D。;霍尔,C。;Roscoe,A.W.,《通信顺序过程理论》,J.ACM,31,3,560-599(1984)·Zbl 0628.68025号
[11] Milner,R.,《通信系统的微积分》(1980),施普林格·柏林-海德堡:施普林格-柏林-海德堡-柏林,海德堡·兹比尔0452.68027
[12] Prehn,T。;Mennicke,S.,《保持公平:等价性》(Bartoletti,M.;Bocchi,L.;Henrio,L.,Knight,S.),《第十届互动与并发体验会议录》。第十届交互与并发体验大会录,瑞士纽加特,2017年6月21日至22日。第十届互动与并发体验会议录。《第十届交互与并发体验会议录》,瑞士诺伊查泰尔,2017年6月21-22日,《理论计算机科学电子会议录》第261卷(2017),开放出版协会),5-16·Zbl 1433.68259号
[13] 范·格拉贝克,R.J。;Höfner,P.,过程代数中的进步、公平和公正,CoRR
[14] 范·格拉贝克,R.J。;Höfner,P.,CCS:这不公平!,信息学报。,52, 2, 175-205 (2015) ·Zbl 1327.68171号
[15] Kindler,E。;Walter,R.,Mutex需要公平,Inf.流程。莱特。,62, 1, 31-39 (1997) ·Zbl 1336.68182号
[16] van Glabbeek,R.,《确保分布式系统的活性属性(研究议程)》,arXiv e-prints
[17] Bergstra,J.A。;克洛普,J.W。;Olderog,E.-R.,《没有混乱的失败:公平抽象的过程语义》,(Wirsing,M.,编程概念的形式化描述-II.编程概念的正式描述-III,计算机科学课堂讲稿(1987),北荷兰:北荷兰阿姆斯特丹),77-101
[18] Puhakka,A。;Valmari,A.,《过程代数验证中的活力与公平》(Larsen,K.G.;Nielsen,M.,CONCUR 2001-并发理论:第十二届国际会议,CONCUR2001-并发原理:第十二次国际会议,丹麦奥尔堡,2001年8月20日至25日,Proceedings(2001),施普林格柏林-海德堡:施普林格-柏林-海德堡-柏林,海德堡),202-217·Zbl 1006.68088号
[19] Puhakka,A.,《在过程代数验证中使用公平约束》(Van Hung,D.;Wirsing,M.,《计算的理论方面——2005年ICTAC:第二次国际学术讨论会》,《计算理论方面——ICTAC 2005:第二届国际学术讨论会》,越南河内,2005年10月17日至21日,论文集(2005),施普林格柏林-海德堡:施普林格-柏林-海德堡-柏林,海德堡),546-561·兹比尔1169.68514
[20] Koomen,C.J.,通信协议的代数规范和验证,科学。计算。程序。,5, 1-36 (1985) ·Zbl 0559.68036号
[21] Rensink,A。;Vogler,W.,公平测试,Inf.Comput。,205, 2, 125-198 (2007) ·Zbl 1109.68077号
[22] 科斯塔·G。;斯特林,C.,《通信系统的公平演算》,《信息学报》。,21, 5, 417-441 (1984) ·Zbl 0538.68014号
[23] Corradini,F。;Di Berardini,M.R。;Vogler,W.,《系统计算中动作的公平性》,《信息学报》。,43,273-130(2006年)·Zbl 1097.68087号
[24] de Bakker,J。;Zucker,J.,进程和并发的指称语义,Inf.Control,54,1,70-120(1982)·Zbl 0508.68011号
[25] Hoare,C.,通信顺序过程,Commun。ACM,21、8、666-677(1978)·Zbl 0383.68028号
[26] 杜尚,G。;Krob,D.,迹幺半群中的组合数学II,(Diekert,V.;Rozenberg,G.,《迹书》(1995)),83-129
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。