×
张玲;南希·林奇;罗伯特·塞加拉;Vaandrager，Frits公司

交换式PIOA：通过分布式调度进行并行合成。 （英语） Zbl 1118.68038号

理论。计算。科学。 365，编号1-2，83-108（2006）.
概要：切换概率输入/输出自动机（或切换PIOA）框架，通过显式控制交换机制增强了原始PIOA框架。使用此机制，我们对传递单个令牌的进程网络进行建模，以便此令牌的位置确定计划进行下一步操作的进程。因此，该令牌结构实现了分布式调度方案：调度决策总是由（唯一的）活动组件做出。分布式调度允许我们在局部和全局非确定性选择之间划一条清晰的界线。然后，我们要求严格使用本地信息来解决本地非确定性选择。这消除了在更常见的集中调度方案下出现的不切实际的调度。因此，我们能够证明我们的跟踪样式语义是组合的。

引用于10文件

MSC公司：

68平方米 计算机系统环境下的性能评估、排队和调度
65年第68季度 形式语言和自动机

关键词：

切换概率输入/输出自动机;跟踪样式语义;平行合成;分布式调度;成分性
PDF格式BibTeX公司 XML格式引用
\textit{L.Cheung}等人，Theor。计算。科学。365，编号1--2，83-108（2006；Zbl 1118.68038）
全文： 内政部 链接

参考文献：

[1] S.Aggarwal，时间最优自稳定生成树算法，硕士论文，马萨诸塞州麻省理工学院电气工程与计算机科学系，1994年5月。技术报告MIT/LCS/TR-632。；S.Aggarwal，时间最优自稳定生成树算法，硕士论文，马萨诸塞州麻省理工学院电气工程与计算机科学系，1994年5月。技术报告MIT/LCS/TR-632。
[2] J.H.安德森。；Moir，M.，《多程序系统中的无等待同步：基于优先级和基于数量的调度的集成》（Proc.18 Annual，ACM Symp.on Principles of Distributed Computing（1999）），123-132·兹比尔1321.68112
[3] Aspnes，J.，《噪声环境中的快速确定性共识》（Proc.19th Annual，ACM Symp.on Principles of Distributed Computing（2000）），299-309·Zbl 1314.68364号
[4] Aspnes，J.，异步共识的随机协议，分布式计算。，16, 2-3, 165-175 (2003) ·Zbl 1448.68063号
[5] Y.Aumann，M.A.Bender，《高效低竞争异步共识与价值透明对手调度器》，分布式计算。2004年，接受出版。；Y.Aumann，M.A.Bender，《高效低竞争异步共识与价值透明对手调度器》，分布式计算。2004年，接受出版·Zbl 1264.68213号
[6] M.Backes，B.Pfitzmann，M.Waidner，《安全异步反应系统》，密码电子打印档案报告2004/082，2004。；M.Backes、B.Pfitzmann、M.Waidner，《安全异步反应系统》，《密码电子打印档案报告2004/082》，2004年·Zbl 1197.94173号
[7] 通用可组合安全：密码协议的新范式，R.Canetti。，（第42届IEEE计算基础研讨会（2001）），136-145
[8] Chandra，T.D.，Polylog随机化无等待共识（Proc.15th Annual，ACM Symp.on Principles of Distributed Computing（1996）），166-175·Zbl 1321.68066号
[9] L.Cheung，M.Hendriks，随机过程并行组合中的因果依赖，技术报告ICIS-R05020，奈梅亨大学计算与信息科学研究所，2005。；L.Cheung，M.Hendriks，随机过程并行组合中的因果依赖，技术报告ICIS-R05020，奈梅亨大学计算与信息科学研究所，2005年。
[10] L.Cheung，N.A.Lynch，R.Segala，F.W.Vaandrager，交换概率I/O自动机。在：过程。第一国际。计算机理论方面的Colloq.（ICTAC2004），计算机科学讲稿，施普林格，柏林，2004。；L.Cheung，N.A.Lynch，R.Segala，F.W.Vaandrager，交换概率I/O自动机。在：过程。第一国际。计算机理论方面的Colloq.（ICTAC2004），计算机科学讲稿，柏林斯普林格，2004年。
[11] L.Cheung，N.A.Lynch，R.Segala，F.W.Vaandrager，交换概率I/O自动机。技术报告NIII-R0437，奈梅亨大学，2004年9月。；L.Cheung，N.A.Lynch，R.Segala，F.W.Vaandrager，交换概率I/O自动机。技术报告NIII-R0437，奈梅亨大学，2004年9月·Zbl 1109.68053号
[12] L.Cheung，M.I.A.Stoelinga，F.W.Vaandrager，概率过程的测试场景，ICIS-R06002技术报告，ICIS，奈梅亨拉德布大学，2006年1月。；L.Cheung，M.I.A.Stoelinga，F.W.Vaandrager，概率过程的测试场景，技术报告ICIS-R06002，ICIS，奈梅亨Radboud大学，2006年1月·Zbl 1326.68138号
[13] de Alfaro，L。；Henzinger，T.A。；Jhala，R.，概率系统的组合方法，（Larsen，K.G.；Nielsen，M.，Proc.CONCUR 01，计算机科学讲义，第2154卷（2001），Springer:Springer-Berlin），351-365·Zbl 1006.68083号
[14] P.D’Argenio，H.Hermanns，J.-P.Katoen，《论生成平行构图》，载于：Proc。PROBMIV’98，ENTCS，1998年第22卷，第105-122页。；P.D’Argenio，H.Hermanns，J.-P.Katoen，《关于生成性平行构图》，摘自：Proc。PROBMIV’98，ENTCS，1998年第22卷，第105-122页。
[15] Desharnais，J。；Edalat，A。；Panangaden，P.，标记马尔可夫过程的双向模拟，Inform。和计算。，1792163-193（2002年）·Zbl 1096.68103号
[16] Devillers，M.C.A。；格里芬，W.O.D。；罗米恩，J.M.T。；Vaandrager，F.W.，应用于IEEE 1394的领导人选举协议形式方法的验证，形式方法。《系统设计》，16，3（2000）
[17] Haverkort，B.R.，《计算机通信系统的性能》（1998），威利出版社：威利纽约
[18] B.Jonsson，K.G.Larsen，W.Yi，in：过程代数的概率扩张，过程代数手册，Elsevier，阿姆斯特丹，2001。；B.Jonsson，K.G.Larsen，W.Yi，in：过程代数的概率扩张，过程代数手册，Elsevier，阿姆斯特丹，2001·Zbl 1062.68081号
[19] 肯尼迪，J.G。；Snell，J.L.，《有限马尔可夫链》（1976），《施普林格：柏林施普林格》·Zbl 0328.60035号
[20] Larsen，K.G。；Skou，A.，通过概率测试的相互模拟，Inform。和计算。，91, 1-28 (1991) ·Zbl 0756.68035号
[21] 北卡罗来纳州林奇。；塞亚斯一世。；Segala，R.，《证明随机分布式算法的时间界限》（Proc.13th Annual，ACM Symp.on the Principles of distributed Computing（1994）），314-323·Zbl 1373.68448号
[22] 北卡罗来纳州林奇。；塞加拉，R。；Vaandrager，F.W.，概率自动机的组合性，（Amadio，R.；Lugiez，D.，Proc.第14届并发理论国际会议（CONCUR 2003），计算机科学讲义，第2761卷（2003），施普林格：施普林格柏林），208-221·Zbl 1274.68161号
[23] 北卡罗来纳州林奇。；Tuttle，M.R.，《输入/输出自动机简介》，CWI Quarterly，2，3，219-246（1989）·Zbl 0677.68067号
[24] Pogosyants，A。；塞加拉，R。；Lynch，N.A.，Aspnes和Herlihy的随机一致性算法的验证：一项案例研究，分布式计算。，13, 3, 155-186 (2000) ·Zbl 1448.68156号
[25] R.Segala，随机分布式实时系统的建模与验证，麻省理工学院电气工程与计算机科学系博士论文，1995年6月。可作为技术报告MIT/LCS/TR-676获取。；R.Segala，随机分布式实时系统的建模与验证，麻省理工学院电气工程与计算机科学系博士论文，1995年6月。可作为技术报告MIT/LCS/TR-676获取。
[26] 塞加拉，R。；Lynch，N.A.，概率过程的概率模拟，北欧J.计算。，2, 2, 250-273 (1995) ·Zbl 0839.68067号
[27] J.Sögaard-Andersen、S.Garland、J.Guttag、N.Lynch、A.Pogosyants，《计算机辅助模拟证明》。在：过程。计算机辅助验证第四次会议，CAV’93，1993年，第305-319页。；J.Sögaard-Andersen、S.Garland、J.Guttag、N.Lynch、A.Pogosyants，《计算机辅助模拟证明》。在：过程。计算机辅助验证第四次会议，CAV’93，1993年，第305-319页。
[28] A.Sokolova，E.P.de Vink，概率自动机：系统类型，并行组合和比较，in：随机系统的验证，计算机科学课堂讲稿，第2925卷，Springer，柏林，2004年，第1-43页。；A.Sokolova，E.P.de Vink，概率自动机：系统类型，并行组合和比较，收录于：随机系统的验证，计算机科学课堂讲稿，第2925卷，施普林格，柏林，2004年，第1-43页·Zbl 1203.68089号
[29] Stewart，W.J.，《马尔可夫链数值解导论》（1994），普林斯顿大学出版社：普林斯顿大学出版，新泽西州普林斯顿·Zbl 0821.65099号
[30] Stoelinga，M.I.A。；Vaandrager，F.W.，IEEE 1394中的根争论点，（Katoen，J.-P.，Proc.Fifth Internat.AMAST实时和概率系统形式化方法研讨会，计算机科学讲稿，第1601卷（1999），Springer:Springer Berlin），53-74
[31] M.I.A.Stoelinga，F.W.Vaandrager，《概率自动机的测试场景》，摘自：Proc。30 ICALP，《计算机科学讲义》，第2719卷，施普林格，柏林，2003年，第407-418页。；M.I.A.Stoelinga，F.W.Vaandrager，《概率自动机的测试场景》，摘自：Proc。30 ICALP，《计算机科学讲义》，第2719卷，施普林格，柏林，2003年，第407-418页·Zbl 1039.68071号
[32] van Glabbeek，R.J。；斯莫尔卡，S.A。；Steffen，B.，概率过程的反应、生成和分层模型，Inform。和计算。，121, 59-80 (1995) ·兹比尔0832.68042
[33] Wu，S.-H。；斯莫尔卡，S.A。；Stark，E.W.，概率I/O自动机的组成和行为，（Jonsson，B.；Parrow，J.，Proc.CONCUR 94，计算机科学讲义，第836卷（1994），Springer:Springer Berlin），513-528
[34] Yi，W。；Larsen，K.G.，《测试概率和非确定性过程》，测试与验证，12，47-61（1992），协议规范
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。