马可·贝尔纳多;洛科·德尼古拉;米歇尔·洛雷蒂 用于建模非确定性、概率性、随机性或混合过程及其行为等效性的统一框架。 （英语） Zbl 1358.68210号 Inf.计算。 225, 29-82 (2013). 摘要：标记的转换系统通常用作并发过程的行为模型。它们的标记转换定义了一步状态到状态的可达性关系。通过修改转换关系，将状态可达性分布与由源状态和转换标签组成的任何对相关联，可以推广该模型。状态可达性分布是一个函数，它将每个可能的目标状态映射到一个值，该值表示该状态的一步可达程度。值取自带有表示不可达性的最小值的预定集合。通过选择合适的预序集，从统一标记转移系统中生成的模型称为ULTraS，可以专门用于捕获完全不确定性过程（LTS）、完全概率过程（ADTMC）、完全随机过程（ACTMC）和非确定性和概率（MDP）的公知模型或非确定性和随机（CTMDP）过程。这种对不同行为模型的统一处理扩展到了行为等效性。它们可以通过依赖适当的度量函数在ULTraS上定义，这些度量函数表示在执行多步计算时一组状态的可达程度。结果表明，除了非确定性和概率/随机性共存的情况外，不同类别ULTraS的互模拟、跟踪和测试等效性的专门化与文献中定义的传统模型的行为等效性一致；然后会弹出新的等价项。 引用于15文件 理学硕士： 68问题85 并发和分布式计算的模型和方法（过程代数、互模拟、转换网等） 87年第68季度 计算机科学中的概率（算法分析、随机结构、相变等） 关键词：标记过渡系统;离散/连续时间马尔可夫链;离散/连续时间马尔可夫决策过程;共刺激等价;迹等价;测试等效性 软件：政治公众人物协议 PDF格式BibTeX公司 XML格式引用 \textit{M.Bernardo}等人，《信息计算》。225，29-82（2013；Zbl 1358.68210） 全文： 内政部 参考文献： [1] Abramsky，S.，作为测试等价的观测等价，《理论计算机科学》，53225-241（1987）·Zbl 0626.68016号 [2] 丙酮，L。；埃西克，Z。；Ingolfsdottir，A.，概率双相似性的等式公理，（代数方法论和软件技术第九届国际会议论文集（AMAST 2002）。程序。第九届代数方法论和软件技术国际会议（AMAST 2002），LNCS，第2422卷（2002），Springer），239-254·Zbl 1275.68099号 [3] Aldini，A。；伯纳多，M。；Corradini，F.，《软件架构设计的过程代数方法》（2010），施普林格出版社·Zbl 1255.68004号 [4] 阿鲁尔（Alur，R.）。；Dill，D.L.，《时间自动机理论》，理论计算机科学，126183-235（1994）·Zbl 0803.68071号 [5] Andova，S。；Baeten，J.C.M.，《概率过程代数中的抽象》，（第七届系统构建与分析工具与算法国际会议论文集（TACAS 2001）。程序。第七届系统构建和分析工具与算法国际会议（TACAS 2001），LNCS，第2031卷（2001），Springer，204-219·Zbl 0978.68100号 [6] Andova，S。；乔治耶夫斯卡，S。；Trcka，N.，概率系统的分支互模拟同余，理论计算机科学，41358-72（2012）·Zbl 1234.68282号 [7] Andova，S。；Willemse，T.，概率系统的分支互模拟：特征和可判定性，理论计算机科学，356325-355（2006）·Zbl 1092.68062号 [8] Baeten，J.C.M。；Bergstra，J.A。；Smolka，S.A.，公理化概率过程：具有生成概率的ACP，信息与计算，121，234-255（1995）·Zbl 0829.60044号 [9] 拜尔，C。；Engelen，B。；Majster-Cederbaum，M.，《概率过程的双相似性和相似性判定》，《计算机与系统科学杂志》，60，187-231（2000）·Zbl 1073.68690号 [10] 拜尔，C。；Hermanns，H.，《全概率过程的弱互模拟》，（第九届国际计算机辅助验证会议论文集（CAV 1997）。程序。第九届计算机辅助验证国际会议（CAV 1997），LNCS，第1254卷（1997），Springer，119-130 [11] 拜尔，C。；Katoen，J.-P。；赫尔曼斯，H。；Wolf，V.，马尔可夫链的比较分支时间语义，信息与计算，200，149-214（2005）·Zbl 1101.68053号 [12] 拜尔，C。；Stoelinga，M.，《时滞概率互模拟的范数函数》，（第三届软件科学与计算结构基础国际会议（FOSSACS 2000）的会议记录）。程序。第三届软件科学和计算结构基础国际会议（FOSSACS 2000），LNCS，第1784卷（2000），Springer），1-16·Zbl 0961.68087号 [13] 班迪尼，E。；Segala，R.，《概率互模拟的公理化》，（第28届国际自动机学院学报，语言与编程（ICALP 2001）。程序。第28届国际学院。关于自动机，语言和编程（ICALP 2001），LNCS，第2076卷（2001），Springer），370-381·Zbl 0986.68073号 [14] Bergstra，J.A。；Klop，J.W.，《同步通信的进程代数，信息和控制》，60，109-137（1984）·Zbl 0597.68027号 [15] （Bergstra，J.A.；Ponse，A.；Smolka，S.A.，《过程代数手册》（2001），Elsevier）·Zbl 0971.00006号 [16] Bernardo，M.，《基于非模拟的马尔科夫行为等价性》，《逻辑与代数编程杂志》，72，3-49（2007）·Zbl 1121.68077号 [17] Bernardo，M.，《非确定性、概率性和马尔可夫过程测试等价性的统一逻辑特征》，（第七届国际编程语言定量方面研讨会论文集（QAPL 2009）。程序。第七届编程语言定量方面国际研讨会（QAPL 2009），ENTCS，第253（3）卷（2009），Elsevier），3-23 [18] Bernardo，M.，《序列过程的弱Markov互模拟同余和精确CTMC级聚合》（第六届可信全球计算国际研讨会论文集（TGC 2011）。程序。第六国际交响乐团。关于值得信赖的全球计算（TGC 2011），LNCS，第7173卷（2011），Springer，89-103 [19] Bernardo，M.，并发过程的弱Markov互模拟同余和精确CTMC级聚合，（第十届编程语言和系统定量方面国际研讨会论文集（QAPL 2012）。程序。第十届编程语言和系统定量方面国际研讨会（QAPL 2012），EPTCS，第85卷（2012）），122-136·Zbl 1458.68129号 [20] 伯纳多，M。；Aldini，A.，《弱马尔可夫双相似性：从优先/加权的内部即时行动中提取》（第十届意大利理论计算机科学大会（ICTCS 2007）（2007），世界科学出版社），39-56 [21] 伯纳多，M。；Bravetti，M.，马尔可夫过程代数的性能测度敏感同余，理论计算机科学，290117-160（2003）·Zbl 1019.68065号 [22] 伯纳多，M。；Cleaveland，R.，《马尔可夫过程的测试理论》（Concurrency theory of the 11th Int.Conf.on Concurrence）（CONCUR 2000）。程序。第11届并行理论国际会议（CONCUR 2000），LNCS，第1877卷（2000），Springer），305-319·Zbl 0999.68144号 [23] 伯纳多，M。；德尼古拉，R。；Loreti，M.，《非确定性、概率性和随机过程的统一标记转换系统》，（第五届可信全球计算国际研讨会论文集（TGC 2010）。程序。第五国际交响乐团。关于值得信赖的全球计算（TGC 2010），LNCS，第6084卷（2010），Springer，35-56 [24] 伯纳多，M。；德尼古拉，R。；Loreti，M.，《非确定性、概率和随机过程计算的统一标记转换系统》，（第一届过程代数与协调国际研讨会论文集（PACO 2011）。程序。第一届过程代数与协调国际研讨会（PACO 2011），EPTCS，第60卷（2011）），66-75 [25] 伯纳多，M。；德尼古拉，R。；Loreti，M.，《重新审视非确定性和概率过程的跟踪和测试等效性》，（第15届软件科学和计算结构基础国际会议（FOSSACS，2012）。程序。第15届软件科学和计算结构基础国际会议（FOSSACS 2012），LNCS，第7213卷（2012），Springer），195-209·Zbl 1326.68197号 [27] 伯纳多，M。；Gorrieri，R.，EMPA教程：具有不确定性、优先级、概率和时间的并发过程理论，理论计算机科学，202，1-54（1998）·兹比尔0902.68075 [29] Bravetti，M.，《重新审视交互式马尔可夫链》，（第三届时间临界系统模型国际研讨会论文集（MTCS 2002）。程序。第三届时间临界系统模型国际研讨会（MTCS 2002），ENTCS，第68（5）卷（2002），Elsevier），1-20 [30] 布拉维蒂，M。；Aldini，A.，不同推进速度的离散时间生成-反应概率过程，理论计算机科学，290，355-406（2003）·Zbl 1018.68051号 [31] 布鲁克斯，S.D。；霍尔，C.A.R。；Roscoe，A.W.，《通信顺序过程理论》，《ACM杂志》，31560-599（1984）·Zbl 0628.68025号 [32] 卡塔尼，S。；Segala，R.，《概率互模拟的决策算法》，（第13届并行理论国际会议论文集（CONCUR 2002）。程序。第13届并行理论国际会议（CONCUR 2002），LNCS，第2421卷（2002），Springer），371-385·Zbl 1012.68127号 [33] Cazorla，D。；库亚特罗，F。；瓦莱罗，V。；Pelayo，F.L。；Pardo，J.J.，概率和非确定性过程的代数理论，《逻辑和代数编程杂志》，55，57-103（2003）·Zbl 1054.68091号 [34] Cheung，L。；Stoelinga，M。；Vaandrager，F.，概率过程的测试场景，ACM杂志，54，6（2007）·Zbl 1326.68138号 [35] Christoff，I.，《概率过程的等价性测试和完全抽象模型》（Concurrency Theory第一届国际会议论文集（CONCUR 1990）。程序。第一届并行理论国际会议（CONCUR 1990），LNCS，第458卷（1990），Springer），126-140 [36] Christoff，L。；Christoff，I.，概率过程等价性验证的有效算法，（第三届国际计算机辅助验证研讨会论文集（CAV 1991）。程序。第三届计算机辅助验证国际研讨会（CAV 1991），LNCS，第575卷（1991），Springer，310-321 [37] 克拉克·G。；吉尔摩，S。；Hillston，J.，《为PEPA指定性能度量》，（第五届AMAST实时和概率系统形式化方法国际研讨会论文集（ARTS 1999）。程序。第五届AMAST实时和概率系统形式化方法国际研讨会（ARTS 1999），LNCS，第1601卷（1999），Springer），211-227 [38] 克里维兰，R。；Dayar，Z。；斯莫尔卡，S.A。；Yuen，S.，概率过程、信息和计算的测试预订单，15493-148（1999）·Zbl 1045.68564号 [39] 克里维兰，R。；Hennessy，M.，《作为互模拟等价的测试等价性》，《计算的形式方面》，5，1-20（1993）·Zbl 0797.68058号 [40] Corradini，F.，过程代数中的绝对时间与相对时间，信息与计算，156122-172（2000）·Zbl 1046.68618号 [41] 克雷法，S。；Ranzato，F.，《通过抽象解释实现概率转移系统的互模拟和仿真算法》，系统设计中的形式化方法，40，356-376（2012）·Zbl 1290.68093号 [43] DèArgenio，P.R.（阿根廷）。；赫尔曼斯，H。；Katoen，J.-P.，《关于生成性平行合成》，（第一届概率方法验证国际研讨会论文集（PROBMIV 1998）。程序。第一届国际验证概率方法研讨会（PROBMIV 1998），ENTCS，第22卷（1998），Elsevier），30-54·Zbl 0920.68078号 [44] de Alfaro，L。；Henzinger，T.A。；Jhala，R.，概率系统的组合方法，（第12届并行理论国际会议论文集（CONCUR 2001）。程序。第十二届并行理论国际会议（CONCUR 2001），LNCS，第2154卷（2001），Springer），351-365·Zbl 1006.68083号 [45] de Alfaro，L。；马朱姆达尔，R。；拉曼，V。；Stoelinga，M.，《博弈精化关系和度量》，《计算机科学中的逻辑方法》，2008年第3期，第7期·Zbl 1147.68056号 [46] De Nicola，R.，《过渡系统的扩展等价性》，《信息学报》，24211-237（1987）·Zbl 0636.68069号 [47] 德尼古拉，R。；Hennessy，M.，《过程等价性测试》，《理论计算机科学》，34，83-133（1984）·Zbl 0985.68518号 [48] 德尼古拉，R。；拉特拉，D。；洛雷蒂，M。；Massink，M.，《随机过程计算的基于比率的转换系统》，（第36届国际学院关于自动机、语言和编程的Proc.of the 36 Int.Coll.on Automata，Languages and Programming（ICALP 2009））。程序。第36届国际学院。关于自动机，语言和编程（ICALP 2009），LNCS，第5556卷（2009），Springer，435-446·Zbl 1248.68350号 [49] 德尼古拉，R。；拉特拉，D。；洛雷蒂，M。；Massink，M.，《关于随机过程语言定义的统一框架》，（第14届工业关键系统形式化方法国际研讨会论文集（FMICS 2009）。程序。第14届国际工业关键系统正式方法研讨会（FMICS 2009），LNCS，第5825卷（2009），施普林格），9-25 [51] 邓，Y。；Palamidessi，C.，概率有限状态行为公理化，理论计算机科学，37392-114（2007）·Zbl 1111.68081号 [52] 邓，Y。；van Glabbeek，R.J。；轩尼诗，M。；Morgan，C.，有限概率过程的测试预订单特征，计算机科学中的逻辑方法，4，4:4，1-33（2008）·Zbl 1161.68035号 [53] 邓，Y。；van Glabbeek，R.J。；轩尼诗，M。；Morgan，C.，《有限概率过程测试》，（第20届并行理论国际会议论文集（CONCUR 2009）。程序。第20届并行理论国际会议（CONCUR 2009），LNCS，第5710卷（2009），Springer），274-288·Zbl 1254.68166号 [54] 邓，Y。；van Glabbeek，R.J。；摩根，C。；Zhang，C.，《标量结果足以进行有限概率测试》，（第16届欧洲编程研讨会论文集（ESOP 2007）。程序。第16届欧洲交响乐团。关于编程（ESOP 2007），LNCS，第4421卷（2007），Springer，363-378·Zbl 1187.68148号 [55] 德里萨维，S。；Hermanns，H。；Sanders，W.H.，马尔可夫链中的最优状态空间聚集，信息处理快报，87309-315（2003）·兹比尔1189.68039 [56] Derman，C.，有限状态马尔可夫决策过程（1970），学术出版社·Zbl 0262.90001号 [57] Desharnais，J。；Edalat，A。；Panangaden，P.，标记马尔可夫过程的互模拟，信息与计算，179163-193（2002）·Zbl 1096.68103号 [58] Desharnais，J。；古普塔，V。；Jagadeesan，R。；Panangaden，P.，《弱互模拟对信息与计算》，208203-219（2010）·Zbl 1189.68080号 [59] 艾森特罗，C。；Hermanns，H。；张，L.，《连续时间中的概率自动机》，（IEEE第25届计算机科学逻辑研讨会论文集（LICS 2010）（2010），IEEE-CS出版社），342-351 [60] 乔治耶夫斯卡，S。；Andova，S.，《保留概率测试理论中的概率》，（第13届国际软件科学与计算结构基础会议（FOSSACS，2010））。程序。第13届软件科学和计算结构基础国际会议（FOSSACS 2010），LNCS，第6014卷（2010），Springer），79-93·Zbl 1284.68397号 [61] 贾卡隆，A。；焦耳，摄氏度-摄氏度。；Smolka，S.A.，概率并发系统的代数推理，（第一届IFIP编程概念和方法工作会议（PROCOMET 1990）（1990），北荷兰），443-458 [62] Givan，R。；院长，T。；Greig，M.，马尔可夫决策过程中的等价概念和模型最小化，人工智能，147163-223（2003）·Zbl 1082.68801号 [63] 哥茨，N。；赫尔佐格，美国。；Rettelbach，M.，《多处理器和分布式系统设计：使用随机过程代数集成功能规范和性能分析》，（第16届计算机性能建模、测量和评估国际研讨会论文集（performance 1993）。程序。第16国际交响乐团。计算机性能建模、测量和评估（Performance 1993），LNCS，第729卷（1993），Springer，121-146 [64] 格雷戈里奥·罗德里格斯，C。；Llana-Diaz，L。；努涅斯，M。；Palao-Gostanza，P.，《概率时间进程代数的语义测试》，（第四届AMAST实时系统与并发和分布式软件国际研讨会论文集（ARTS 1997）。程序。第四届AMAST实时系统及并发和分布式软件国际研讨会（ARTS 1997），LNCS，第1231卷（1997），Springer，353-367 [65] Hansson，H。；Jonsson，B.，《具有时间和概率的通信系统演算》（IEEE Real-time systems Symp.第11届会议（RTSS 1990）（1990），IEEE-CS出版社），278-287 [66] Hennessy，M.，《验收树》，ACM杂志，32896-928（1985）·Zbl 0633.68074号 [67] Hennessy，M.，探索概率互模拟，第一部分，计算的形式方面，24749-768（2012）·Zbl 1259.68153号 [68] 轩尼诗，M。；Milner，R.，《不确定性和并发性的代数定律》，《ACM杂志》，32，137-162（1985）·Zbl 0629.68021号 [69] Hermanns，H.，《交互式马尔可夫链》，LNCS，第2428卷（2002），施普林格出版社·兹比尔1012.68142 [70] 赫尔曼斯，H。；A.帕尔马。；塞加拉，R。；Wachter，B。；Zhang，L.，概率逻辑表征，信息与计算，209，154-172（2011）·Zbl 1210.68072号 [73] Hillston，J.，《绩效建模的组合方法》（1996），剑桥大学出版社 [74] Huynh，D.T。；Tian，L.，关于概率过程的一些等价关系，《信息基础》，17，211-234（1992）·Zbl 0766.68099号 [75] H·吉峰。；塞德尔，K。；McIver，A.，防护命令语言的概率模型，计算机编程科学，28171-192（1997）·Zbl 0877.68014号 [76] Jonsson，B。；Ho-Stuart，C。；Yi，W.，《非确定性和概率过程的测试和改进》，（第三届国际实时容错系统形式化技术研讨会论文集（FTRTFT 1994）。程序。第三国际交响乐团。实时和容错系统中的形式化技术（FTRTFT 1994），LNCS，第863卷（1994），Springer，418-430 [77] Jonsson，B。；Yi，W.，概率过程的组合测试预订单，（第十届IEEE计算机科学逻辑研讨会论文集（LICS 1995）（1995），IEEE-CS出版社），431-441 [78] Jonsson，B。；Yi，W.，《概率过程的测试预订单可以通过模拟表征》，《理论计算机科学》，282，33-51（2002）·Zbl 0997.68082号 [79] 焦耳，摄氏度-摄氏度。；Smolka，S.A.，《概率过程的等价、同余和完全公理化》（Concurrency Theory第一届国际会议论文集（CONCUR 1990）。程序。第一届并行理论国际会议（CONCUR 1990），LNCS，第458卷（1990），Springer），367-383 [80] Kanellakis，P.C。；Smolka，S.A.，CCS表达式，有限状态过程和三个等价问题，信息与计算，86，43-68（1990）·Zbl 0705.68063号 [81] Keller，R.M.，《并行程序的正式验证》，美国计算机学会通讯，19371-384（1976）·Zbl 0329.68016号 [82] Knast，R.，连续时间概率自动机，信息与控制，15，335-352（1969）·Zbl 0188.03402号 [83] Kwiatkowska，M.Z。；Norman，G.，《反应概率过程的测试等价性》（第五届并发表达性国际研讨会论文集，EXPRESS 1998）。程序。第五届并发表达能力国际研讨会（EXPRESS 1998），ENTCS，第16卷（2）（1998），Elsevier），114-132·Zbl 0917.68154号 [84] Kwiatkowska，M.Z。；诺曼，G。；塞加拉，R。；Sproston，J.，《离散概率分布实时系统的自动验证》，《理论计算机科学》，282101-150（2002）·Zbl 1050.68094号 [85] Larsen，K.G。；Skou，A.，《通过概率测试、信息和计算进行互模拟》，94，1-28（1991）·Zbl 0756.68035号 [86] Larsen，K.G。；Skou，A.，概率过程的组合验证，（第三届并行理论国际会议论文集（CONCUR 1992）。程序。第三届并行理论国际会议（CONCUR 1992），LNCS，第630卷（1992），Springer），456-471 [87] Lowe，G.，定时CSP的概率和优先级模型，理论计算机科学，138315-352（1995）·兹伯利0874.68163 [88] 北卡罗来纳州林奇。；塞加拉，R。；Vaandrager，F.，《概率自动机的组成》，（第14届并行理论国际会议论文集（CONCUR 2003）。程序。第14届并行理论国际会议（CONCUR 2003），LNCS，第2761卷（2003），Springer），208-221·Zbl 1274.68161号 [89] 马可夫斯基，J。；Trcka，N.，《无声步集总马尔可夫链》，（第三届系统定量评估国际会议（QEST 2006）（2006），IEEE-CS出版社），221-230 [90] Milner，R.，一类规则行为的完整推理系统，《计算机与系统科学杂志》，28439-466（1984）·Zbl 0562.68065号 [91] Milner，R.，有限状态行为观测同余的完全公理化，信息与计算，81，227-247（1989）·Zbl 0688.68050号 [92] Mislove，M。；Ouaknine，J。；Worrell，J.，《概率和不确定性公理》，（第十届并发表达性国际研讨会论文集（EXPRESS 2003）。程序。第十届并行表达国际研讨会（EXPRESS 2003），ENTCS，第96卷（2003），Elsevier），7-28·Zbl 1271.68192号 [93] 蒙塔纳里，美国。；Sassone，V.，《CCS的动态一致性与渐进互模拟》，《信息基础》，第16期，第171-199页（1992年）·Zbl 0762.68044号 [94] 摩根，C。；McIver，A。；塞德尔，K。；Sanders，J.W.，《CSP的精炼导向概率》，计算的形式方面，8617-647（1996）·Zbl 0862.68050号 [95] Neuhäußer，M.R。；Katoen，J.-P.，《连续时间Markov决策过程的互模拟和逻辑保持》，（第18届并行理论国际会议论文集（CONCUR 2007）。程序。第18届并行理论国际会议（CONCUR 2007），LNCS，第4703卷（2007），Springer），412-427·兹比尔1151.68549 [96] 尼克林，X。；Sifakis，J.，《时间过程代数的概述与综合》，（REX实时研讨会论文集：实践中的理论。REX实时讲习班论文集：实际中的理论，LNCS，第600卷（1991），Springer），526-548 [97] Nuñez，M.，概率过程的代数理论，《逻辑与代数编程杂志》，56，117-177（2003）·Zbl 1048.68057号 [98] 佩奇，R。；Tarjan，R.E.，《三分区优化算法》，SIAM计算杂志，16，973-989（1987）·Zbl 0654.68072号 [99] M.C.帕尔梅里。；德尼古拉，R。；Massink，M.，概率可能测试的基本观察值，（第四届系统定量评估国际会议（QEST 2007）（2007），IEEE-CS出版社），189-198 [100] Park，D.，无限序列上的并发性和自动机，（第五届理论计算机科学GI大会的议事录，第五届计算机科学理论GI大会议事录，LNCS，第104卷（1981），Springer），167-183·Zbl 0457.68049号 [101] A.帕尔马。；Segala，R.，随机非确定性过程的迹语义公理化，（第一届系统定量评估国际会议（QEST 2004）（2004），IEEE-CS出版社），294-303 [103] 菲利普，A。；Lee，我。；Sokolsky，O.，《概率系统的弱互模拟》，（第11届并行理论国际会议论文集（CONCUR 2000）。程序。第11届并行理论国际会议（CONCUR 2000），LNCS，第1877卷（2000），Springer），334-349·Zbl 0999.68146号 [104] Plotkin，G.D.，《操作语义的结构方法》，《逻辑与代数编程杂志》，60/61，17-139（2004）·Zbl 1082.68062号 [105] Priami，C.，《随机（π）演算》，《计算机杂志》，38，578-589（1995） [106] Puterman，M.L.，《马尔可夫决策过程：离散随机动态规划》（1994），John Wiley&Sons·兹伯利0829.90134 [107] 拉宾，M.O.，概率自动机，信息与控制，6230-245（1963）·Zbl 0182.33602号 [108] Rettelbach，M.，马尔科夫过程代数中的概率分支，计算机期刊，38590-599（1995） [110] Segala，R.，《概率自动机的基于合成轨迹的语义》（Concurrency Theory第六届国际会议论文集，CONCUR 1995）。程序。第六届并行理论国际会议（CONCUR 1995），LNCS，第962卷（1995），Springer），234-248 [111] Segala，R.，《概率自动机测试》（Concurrency Theory第七届国际会议论文集，CONCUR 1996）。程序。第七届并行理论国际会议（CONCUR 1996），LNCS，第1119卷（1996），Springer），299-314·Zbl 1514.68112号 [112] 塞加拉，R。；Lynch，N.A.，概率过程的概率模拟，（第五届并行理论国际会议论文集（CONCUR 1994）。程序。第五届并行理论国际会议（CONCUR 1994），LNCS，第836卷（1994），Springer），481-496 [113] 塞加拉，R。；Turrini，A.，交替和非交替概率模型上互模拟关系的比较分析，（第二届系统定量评估国际会议（QEST 2005）（2005），IEEE-CS出版社），44-53 [114] Seidel，K.，概率通信过程，理论计算机科学，152219-249（1995）·Zbl 0872.68111号 [115] Sokolova，A。；de Vink，E.P.，概率自动机：系统类型，并行组合和比较，（《随机系统的验证》，《随机系统验证》，LNCS，第2925卷（2004），Springer），1-43·Zbl 1203.68089号 [116] 宋，L。；张，L。；Godskesen，J.C.，《双向模拟满足概率自动机的PCTL等价性》，（第22届国际并发理论会议论文集（CONCUR 2011）。程序。第22届并行理论国际会议（CONCUR 2011），LNCS，第6901卷（2011），Springer），108-123·Zbl 1344.68170号 [117] 史塔克，E.W。；Smolka，S.A.，有限状态概率过程的完整公理系统，（证明、语言和交互：罗宾·米尔纳荣誉论文（2000），麻省理工出版社），571-595 [118] Stewart，W.J.，《马尔可夫链数值解导论》（1994），普林斯顿大学出版社·Zbl 0821.65099号 [119] 蒂默，M。；Katoen，J.-P。；范德波尔，J。；Stoelinga，M.，《马尔可夫自动机的有效建模和生成》，（第23届并行理论国际会议论文集（CONCUR 2012）。程序。第23届并行理论国际会议（CONCUR 2012），LNCS，第7454卷（2012），Springer），364-379·Zbl 1364.68295号 [120] Tofts，C.，概率、优先级和时间的过程，计算的形式方面，6536-564（1994）·Zbl 0820.68072号 [121] 特雷科尔，M。；Desharnais，J。；Zhoua，A.，计算概率自动机之间的距离，（第九届国际编程语言定量方面研讨会论文集（QAPL 2011）。程序。第九届国际编程语言定量方面研讨会（QAPL 2011），EPTCS，第57卷（2011），148-162·Zbl 1457.68151号 [122] Tzeng，W.-G.，概率自动机等价的多项式时间算法，SIAM计算杂志，21，216-227（1992）·Zbl 0755.68075号 [123] 乌利多夫斯基，I。；Yuen，S.，《随时间扩展过程语言》，（第六届代数方法论和软件技术国际会议论文集（AMAST 1997）。程序。第六届代数方法论和软件技术国际会议（AMAST 1997），LNCS，第1349卷（1997），Springer），524-538 [124] van Glabbeek，R.J.，线性时间分支时间谱I，（过程代数手册（2001），Elsevier），3-99·Zbl 1035.68073号 [125] van Glabbeek，R.J。；斯莫尔卡，S.A。；Steffen，B.，概率过程的反应、生成和分层模型，信息与计算，121，59-80（1995）·Zbl 0832.68042号 [126] van Glabbeek，R.J。；Weijland，W.P.，互模拟语义学中的分支时间和抽象，ACM杂志，43，555-600（1996）·Zbl 0882.68085号 [127] Vardi，M.Y.，概率并发有限状态程序的自动验证，（第26届IEEE计算机科学基础研讨会（FOCS 1985）（1985），IEEE-CS出版社），327-338 [128] 沃尔夫，V。；拜尔，C。；Majster-Cederbaum，M.，《用于观察连续时间马尔可夫链的跟踪机器》，（第三届编程语言定量方面国际研讨会论文集（QAPL 2005）。程序。第三届编程语言定量方面国际研讨会（QAPL 2005），ENTCS，第153（2）卷（2005），Elsevier），259-277 [129] Yi，W。；Larsen，K.G.，《测试概率和非确定性过程》，（第十二届国际协议规范、测试和验证研讨会（PSTV 1992）（1992），北荷兰），47-61 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。