×
马尼省斯瓦米纳坦;Joost-Pieter卡托恩;奥尔德罗格（Ernst-Rüdiger Olderog）

随机分布式算法的分层推理。 （英语） Zbl 1259.68114号

正式Asp。计算。 24，第4-6号，477-496（2012）.

引用于1文件

MSC公司：

65年第68季度 形式语言和自动机
68瓦20 随机算法
68宽15 分布式算法

关键词：

概率自动机;分层合成与分离;通信封闭性;部分阶等价;随机互斥

软件：

棱镜
PDF格式BibTeX公司 XML格式引用
\textit{M.Swaminathan}等人，正式Asp。计算。24、编号4--6、477--496（2012；Zbl 1259.68114）
全文： 内政部

参考文献：

[1] Attiya H，Censor K（2008）异步随机一致性的紧边界。美国医学会杂志55（5）·Zbl 1232.68171号
[2] Baier C，Größer M，Ciesinski F（2004）概率系统的部分降阶。In：系统定量评估（QEST），IEEE CS出版社，第230–239页
[3] Canetti R、Cheung L、Kaynar DK、Liskov M、Lynch NA、Pereira O、Segala R（2008）使用有时限任务PIOA分析安全协议。离散事件动态系统18（1）：111–159·Zbl 1161.93320号 ·doi:10.1007/s10626-007-0032-1
[4] Cohen E（2000）分离和还原。在：后台RC。，Oliveira JN（eds）《程序构造数学》（MPC），LNCS第1837卷。。纽约州施普林格，第45-59页
[5] D'Argenio PR.，Niebert P（2004）并发概率程序的部分降阶。In：系统定量评估（QEST）。IEEE CS出版社，第240–249页
[6] Elrad T，Francez N（1982）将分布式程序分解为通信封闭层。科学计算程序2（3）：155–173·Zbl 0514.68033号 ·doi:10.1016/0167-6423（83）90013-8
[7] Janssen W，Zwiers J（1992）《从序列层到分布式过程：导出分布式最小权值生成树算法》。In：分布式计算原理（PODC）。ACM出版社，第215-227页·Zbl 1370.68317号
[8] Kwiatkowska MZ，Norman G（2002）《验证随机拜占庭协议》。在Peled D，Vardi MY（eds）《形式描述技术》（FORTE）中，LNCS第2529卷。施普林格，第194-209页·Zbl 1037.68508号
[9] Kwiatkowska MZ，Norman G，Parker D（2004）《PRISM概率符号模型检验：一种混合方法》。国际J Softw Tools Technol Transf 6（2）：128–142·doi:10.1007/s10009-004-0140-2
[10] Koenig D（1936）《Endlichen und Unendlichen Graphen的理论：Streckenkomplexe的Kombinatorische拓扑》。阿卡德。莱比锡Verlag
[11] Kushilevitz E，Rabin MO（1992），重新审视随机互斥算法。收件人：PODC，第275-283页·Zbl 1370.68318号
[12] Katoen J-P、van de Pol JC、Stoelinga MIA、Timmer M（2012）《概率自动机数据的线性过程代数格式》。计算机科学理论413（1）：36–57·兹比尔1283.68246 ·doi:10.1016/j.tcs.2011.07.021
[13] Lehmann DJ，Rabin MO（1981）《自由选择的优势：餐饮哲学家问题的对称和完全分布式解决方案》。In：编程语言原理（POPL）。ACM出版社，第133–138页
[14] McIver AK，Gonzalia C，Cohen E，Morgan CC（2008）使用概率Kleene代数pKA进行协议验证。J Log Algebr程序76（1）：90–111·Zbl 1148.68034号 ·doi:10.1016/j.jlap.2007.10.005
[15] Milner R（1989）通信与并发。Prentice Hall，上鞍河·Zbl 0683.68008号
[16] McIver AK，Morgan CC（2004），概率系统的抽象、精化和证明。纽约州施普林格
[17] Moses Y，Rajsbaum S（2002）《共识的分层分析》。SIAM J计算31（4）：989–1021·Zbl 1015.68079号 ·doi:10.1137/S0097539799364006
[18] Olderog E-R，Swaminathan M（2010）《时间自动机的分层合成》。收录于：Chatterjee K，Henzinger TA（eds）《时间系统的形式化建模与分析》（FORMATS），LNCS第6246卷。施普林格，第228-242页·Zbl 1290.68078号
[19] Pogosyants A、Segala R、Lynch NA（2000）《Aspnes和Herlihy随机共识算法的验证：案例研究》。分布计算13（3）：155–186·doi:10.1007/PL00008917
[20] Rabin MO（1982）具有4个log n共享变量的有界等待的n过程互斥。计算机系统科学杂志25（1）：66–75·Zbl 0493.68018号 ·doi:10.1016/0022-0000（82）90010-1
[21] Saias I（1992）证明概率正确性声明：Rabin互斥算法的案例。In：分布式计算原理（PODC）。ACM出版社，第263-274页·Zbl 1370.68320号
[22] Stomp FA，de Roever W-P（1994）关于分布式算法的顺序推理原理。形式方面计算6（6）：716–737·Zbl 0829.68066号 ·doi:10.1007/BF03259394
[23] Segala R（2000）随机分布式算法验证。In:Brinksma E，Hermanns H，Katoen J-P（eds）《形式方法和性能分析》，LNCS第2090卷。施普林格，第232–260页·Zbl 0990.68640号
[24] Segala R，Lynch NA（1995），概率过程的概率模拟。北欧J计算2（2）：250–273·Zbl 0839.68067号
[25] Stoelinga M（2002）概率自动机简介。公牛EATCS 78:176–198·Zbl 1169.68494号
[26] Stoelinga M，Vaandrager FW（1999）IEEE 1394中的根争用。在：Katoen J-P（ed）AMAST关于实时和概率系统（ARTS）的研讨会，LNCS第1601卷。施普林格，第53–74页
[27] Timmer M、Stoelinga M、van de Pol J（2011），概率系统的汇流减少。收录：Abdulla PA，Leino KRM（编辑）《系统构建和分析工具和算法》（TACAS），LNCS第6605卷。施普林格，第311-325页·Zbl 1316.68077号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。