安娜·索科洛娃;埃里克·P·德文克。 概率自动机：系统类型、并行组合和比较。 （英语） Zbl 1203.68089号 Baier，Christel（编辑）等人，《随机系统的验证》。当前研究指南。柏林：施普林格出版社（ISBN 3-540-22265-0/pbk）。《计算机科学讲义》2925，1-43（2004）。 摘要：我们调查了概率自动机和概率互模拟的各种概念，这些概念积累在概率系统类型的表达层次中。本文的目的是双重的：一方面概述了现有的概率系统类型，另一方面解释了这些模型之间的关系。我们只概述离散概率的概率系统。用于构建层次结构的表达顺序是通过相应系统类型之间的映射的存在来定义的，这些系统类型保持并反映了双重相似性。此外，我们还讨论了所提出类型系统的并行组合，在这种组合算子下增加了具有封闭性的概率自动机的映射。关于整个系列，请参见[Zbl 1047.68001号]. 引用于24文件 MSC公司： 65年第68季度 形式语言和自动机 68问题85 并发和分布式计算的模型和方法（进程代数、互模拟、转换网等） 87年第68季度 计算机科学中的概率（算法分析、随机结构、相变等） 关键词：概率自动机;概率转换系统;概率互模拟;互模拟的保存和反射;不确定性;平行合成 PDF格式BibTeX公司 XML格式引用 \textit{A.Sokolova}和\textit{E.P.de Vink}，莱克托。注释计算。科学。2925，1-43（2004；Zbl 1203.68089） 全文： DOI程序