摘要
Aggarwal，S.1994年。 时间最优自稳定生成树算法。 硕士论文。 麻省理工学院电气工程与计算机科学系。 （见技术报告MIT/LCS/TR-632）。 谷歌学者 
数字图书馆 
Baeten，J.、Bergstra，J.和Klop，J.1987年。 论库门公平抽象规则的一致性。 理论。 计算。 科学。 51, 1/2, 129--176. 谷歌学者 数字图书馆 Baier，C.和Kwiatkowska，M.，1998年。 具有公平性的概率分支时间逻辑的模型检查。 分布计算。 11, 3, 125--155. 谷歌学者 数字图书馆 Bergstra，J.和Klop，J.，1986年。 通过进程代数验证交替位协议。 在软件系统规格说明和综合的数学方法85，数学。 数学研究，第31卷。 Akademie Verlag，德国柏林，9月23日。 谷歌学者 数字图书馆 Casella，G.和Berger，R.1990年。 统计推断。 英国贝尔蒙特杜克斯伯里出版社。 谷歌学者 Christoff，I.1990年。 测试概率过程的等价性和完全抽象模型。 在CONCUR 90的程序中。 计算机科学讲义，第458卷。 斯普林格·弗拉格，纽约，126-140。 谷歌学者 数字图书馆 Cleaveland，R.、Dayar，Z.、Smolka，S.和Yuen，S.，1999年。 测试概率过程的预购。 通知。 计算。 154, 2, 93--148. 谷歌学者 数字图书馆 科恩，D.1980。 测量理论。 Birkhäuser，马萨诸塞州波士顿。 谷歌学者 Davey，B.和Priestley，H.1990年。 格与序简介。 剑桥大学出版社，英国剑桥。 谷歌学者 De Nicola，R.和Hennessy，M.1984年。 测试过程的等效性。 理论。 计算。 科学。 34, 83--133. 谷歌学者 交叉引用 
Deng，Y.、van Glabbeek，R.、Hennessy，M.、Morgan，C.和Zhang，C.2007a。 描述有限概率过程的测试预订单。 在LICS’07：第22届IEEE计算机科学逻辑年会论文集。 IEEE计算机学会出版社，加利福尼亚州洛斯阿拉米托斯，313--325。 谷歌学者 数字图书馆 Deng，Y.、van Glabbeek，R.、Hennessy，M.、Morgan，C.和Zhang，C.2007b。 关于测试概率过程的备注。 电子。 注释理论。 计算。 科学。 172, 359--397. 谷歌学者 数字图书馆 Desharnais，J.、Edalat，A.和Panangaden，P.2002。 标记马尔可夫过程的互模拟。 通知。 计算。 179, 2, 163--193. 谷歌学者 数字图书馆 Edalat，A.1995年。 随机过程中的领域理论。 LICS 95会议记录。 IEEE计算机学会出版社，加利福尼亚州洛斯阿拉米托斯，244--254。 谷歌学者 数字图书馆 Van Glabbeek，R.2001年。 线性时间——分支时间谱I。具体、连续过程的语义。 在《过程代数手册》中，J.Bergstra、A.Ponse和S.Smolka，Eds.North-Holland，3-99。 谷歌学者 Gregorio Rodrígez，C.和Núñez，M.，1998年。 概率拒绝测试的指称语义。 在ProbMIV 98诉讼中。 理论计算机科学电子笔记，第22卷。 谷歌学者 Jonsson，B.和Yi，W.，2002年。 概率过程的测试预订单可以通过仿真来表征。 理论。 计算。 科学。 282, 1, 33--51. 谷歌学者 数字图书馆 Kolmogorov，A.和Fomin，S.1970年。 介绍性真实分析。 多佛出版公司，纽约。 谷歌学者 Larsen，K.和Skou，A.1991年。 通过概率测试进行相互模拟。 Inf.计算。 91, 1--28. 谷歌学者 数字图书馆 Lynch，N.、Saias，I.和Segala，R.，1994年。 证明随机分布式算法的时间界限。 第13届ACM分布式计算原理年会论文集。 美国医学会，纽约，314-323。 谷歌学者 数字图书馆 Milner，R.1980年。 通信系统微积分。 计算机科学讲义，第92卷。 纽约施普林格-弗拉格。 谷歌学者 数字图书馆 Pogosyants，A.、Segala，R.和Lynch，N.2000。 Aspnes和Herlihy随机共识算法的验证：案例研究。 分布计算。 13, 3, 155--186. 谷歌学者 数字图书馆 Rudin，W.1987年。 真实和复杂分析。 McGraw-Hill公司，马萨诸塞州波士顿。 谷歌学者 数字图书馆 Segala，R.1995年。 随机分布式实时系统的建模与验证。 麻省理工学院电气工程与计算机科学系博士论文。 （见技术报告MIT/LCS/TR-676。） 谷歌学者 数字图书馆 Segala，R.1996年。 测试概率自动机。 在CONCUR 96的程序中。 计算机科学讲义，第1119卷。 施普林格-弗拉格，纽约，299--314。 谷歌学者 数字图书馆 Segala，R.和Lynch，N.，1995年。 概率过程的概率模拟。 也没有。 J.计算。 2, 2, 250--273. 谷歌学者 数字图书馆 Sen，K.、Viswanathan，M.和Agha，G.，2004年。 黑盒概率系统的统计模型检验。 在计算机辅助验证中。 计算机科学讲义，第3114卷。 斯普林格·弗拉格，纽约，202-215。 谷歌学者 Stoelinga，M.2002年。 概率自动机导论。 牛市。 欧洲。 助理理论家。 计算。 科学。 78, 176--198. 谷歌学者 Stoelinga，M.和Vaandrager，F.1999。 IEEE 1394中的根争用。 《第五届国际AMAST实时和概率系统形式化方法研讨会论文集》，J.-P.Katoen，Ed.计算机科学讲稿，第1601卷。 斯普林格·弗拉格，纽约，53-74。 谷歌学者 数字图书馆 Stoelinga，M.和Vaandrager，F.2003。 概率自动机的测试场景。 第30届ICALP会议记录。 计算机科学讲义，第2719卷。 纽约斯普林格·弗拉格，407-418。 谷歌学者 Trivedi，K.2002年。 概率统计与可靠性、排队和计算机科学应用。 威利，纽约。 谷歌学者 数字图书馆 Vatan，F.2001年。 概率自动机的分布函数。 《计算机理论研讨会论文集》（STOC'01）。 ACM，纽约，684--693。 谷歌学者 数字图书馆 Younes，H.2005年。 “黑盒”系统的概率验证。 《CAV 2005年会议记录》。 253--265. 谷歌学者 数字图书馆 Younes，H.、Kwiatkowska，M.、Norman，G.和Parker，D.，2004年。 数值与统计概率模型检验：一项实证研究。 在系统构建和分析的工具和算法中。 Lecutre计算机科学笔记，第2988卷。 Springer Verlag，纽约，46-60岁。 谷歌学者 Younes，H.和Simmons，R.，2002年。 使用验收抽样对离散事件系统进行概率验证。 在计算机辅助验证中。 计算机科学讲义，第2404卷。 施普林格-弗拉格，纽约，223-235。 谷歌学者 数字图书馆
