伏玉溪 概率模型的模型无关方法。 （英语） Zbl 1497.68338号 西奥。计算。科学。 869, 181-194 (2021). 摘要：关于概率转移系统的研究很多。概率过程模型的研究并不多。缺乏对概率过程交互方面的研究主要是由于概率选择和不确定性行为之间的差异造成的困难。本文提出了概率进程模型的统一方法和概率并发的互模拟理论。 引用于1文件 MSC公司： 68问题85 并发和分布式计算的模型和方法（进程代数、互模拟、转换网等） 87年第68季度 计算机科学中的概率（算法分析、随机结构、相变等） 关键词：概率过程；互模拟；发散 PDF格式BibTeX公司 XML格式引用 \Theor，textit{Y.Fu}。计算。科学。869181-194（2021年；Zbl 1497.68338） 全文： 内政部 参考文献： [1] Andova，S。；乔治耶夫斯卡，S。；Trcka，N.，概率系统的分支互模拟同余，Theor。计算。科学。，413 (2012) ·Zbl 1234.68282号 [2] Andova，S。；Willemse，A.，概率系统的分支互模拟：特征和可判定性，Theor。计算。科学。，356, 325-355 (2006) ·Zbl 1092.68062号 [3] Arora，S。；Lund，C。；Motwani，R。；苏丹，M。；Szegedy，M.，近似问题的证明验证和硬度，FOCS’92。FOCS’92，J.ACM（1998）·Zbl 1065.68570号 [4] Babai，L.，贸易集团随机性理论（STOC’85（1985），ACM） [5] 巴拜，L。；福特诺，L。；Lund，L.，非确定性指数时间有两个验证程序交互协议，FOCS’90。FOCS’90，计算。复杂。(1991) ·Zbl 0774.68041号 [6] Basten，T.，分支双相似性确实是一个等价的Inf.过程。莱特。，58141-147（1996年）·Zbl 0875.68624号 [7] Baeten，J。；Bergstra，J。；Smolka，S.，公理化概率过程：具有生成概率的ACP，信息计算。，122, 234-255 (1995) ·Zbl 0829.60044号 [8] 拜尔，C。；Hermanns，H.，《全概率过程的弱互模拟》（CAV’97）。CAV’97，计算机科学讲义，第1254卷（1997），Springer），119-130 [9] 班迪尼，E。；Segala，R.，概率互模拟公理化（ICALP’2001）。ICALP’2001，计算机科学讲义，第2076卷（2001），施普林格），370-381·Zbl 0986.68073号 [10] Ben-Or，M。；Goldwasser，S。；Kilian，J。；Wigderson，A.，《多元交互式证明：如何去除难以处理的假设》（STOC'88（1988），ACM） [11] O.伯克特。；Caucal，D。；莫勒，F。；Steffen，B.，《无限结构的验证》（过程代数手册（2001），爱思唯尔科学）·Zbl 1035.68067号 [12] 卡斯蒂格利奥尼，V。；Tini，S.，概率除法与同余：分支双相似性，Theor。计算。科学。，802 (2020) ·Zbl 1436.68209号 [13] 卡斯蒂格利奥尼，V。；Tini，S.，《失去等价性的袭击者：概率分支相似性》，Inf.过程。莱特。，159-160 (2020) ·Zbl 1441.68145号 [14] 邓毅，《概率过程的语义：一种操作方法》（2015），施普林格出版社和上海交通大学出版社 [15] 邓，Y。；Palamidessi，C.，概率有限状态行为公理化，Theor。计算。科学。，373, 1-2, 92-114 (2007) ·Zbl 1111.68081号 [16] 德尼古拉，R。；Hennessy，M.，《过程等效性测试》，Theor。计算。科学。，34, 83-133 (1984) ·Zbl 0985.68518号 [17] 福特诺，L。；Rompel，J。；Sipser，M.，《关于多月球车交互协议的威力》，Theor。计算。科学。，21, 545-557 (1994) ·Zbl 0938.68824号 [18] 傅毅，互动理论，西奥。计算。科学。，611, 1-49 (2016) ·Zbl 1353.68082号 [19] 范·格拉贝克，R。；斯莫尔卡，S。；Steffen，B.，概率过程的反应、生成和分层模型，Inf.Comput。，3，59-80（1995年）·Zbl 0832.68042号 [20] 范·格拉贝克，R。；Weijland，W.，互模拟语义中的分支时间和抽象，（信息处理'89（1989），北荷兰），613-618 [21] van Glabbeek，R.（范·格拉贝克，R.）。；Weijland，W.，互模拟语义中的分支时间和抽象，J.ACM，3555-600（1996）·Zbl 0882.68085号 [22] Goldwasser，S。；米卡利，S。；Rackoff，C.，交互式证明的知识复杂性，（STOC'85（1985），美国计算机学会）·Zbl 0900.94025号 [23] Hansson，H。；Jonsson，B.，《时间和可靠性推理框架》（IEEE实时系统研讨会（1989），IEEE） [24] Hennessy，M.，《过程的代数理论》（1988），麻省理工学院出版社：麻省理学院出版社剑桥·Zbl 0744.68047号 [25] Hermanns，H。；Král，J。；Křetínskí，J.，概率互模拟：自然分布，（CONCUR’14。CONCUR’14，计算机科学讲义，第8704卷（2014），Springer），249-265·Zbl 1417.68130号 [26] Jou，C。；Smolka，S.，概率过程的等价性和完全公理化，（CONCUR’90。CONCUR’90，计算机科学讲义，第458卷（1990），367-383 [27] 拉诺特，R。；梅罗，M。；Tini，S.，《组密钥更新的组合弱指标》（MFCS’17（2017）），第72条，pp·Zbl 1441.68146号 [28] Larsen，K。；Skou，A.，《通过概率测试的相互模拟》（POPL’89（1989），ACM），第344-352页 [29] 李，M。；de Vink，E.，《有根分支互模拟作为概率转移系统的同余》（Proceedings Thirth Workshop on Quantitative Aspects of Programming Languages and systems），第十三届编程语言和系统定量研讨会，英国伦敦，第344-352卷（2015），79-94 [30] Milner，R.，《沟通与并发》（1989），普伦蒂斯·霍尔·Zbl 0683.68008号 [31] 德尼古拉，R。；Vaandrager，F.，分支互模拟的三种逻辑，J.ACM，458-487（1995）·Zbl 0886.68064号 [32] Park，D.，无限序列上的并发与自动机，（TCS'81。TCS’81，计算机科学课堂讲稿，第104卷（1981），施普林格出版社，167-183·Zbl 0457.68049号 [33] 菲利普·A。；李，I。；Sokolsky，O.，概率系统的弱互模拟，（CONCUR'00。CONCUR’00，《计算机科学讲义》，第1877卷（2000），Springer），第334-349页·Zbl 0999.68146号 [34] Priese，L.，《异步并发系统中的仿真概念》，Prog。赛博。系统。《第7号决议》，第85-92页（1978年）·Zbl 0456.68061号 [35] Segala，R.，《随机分布式关系时间系统的建模与验证》（1995），麻省理工学院EECS系，博士论文 [36] Segala，R.，《并发操作模型中的概率和不确定性》（CONCUR’06）。CONCUR’06，计算机科学讲稿，第4137卷（2006），Springer），64-78·Zbl 1151.68553号 [37] 塞加拉，R。；Lynch，N.，概率过程的概率模拟，（CONCUR’94。CONCUR’94，《计算机科学讲义》，第836卷（1994年），施普林格出版社，481-496 [38] Sokolova，A.，《概率系统联合：一项调查》，Theor。计算。科学。，412, 5095-5110 (2011) ·Zbl 1234.68308号 [39] 斯塔克，E。；Smolka，S.，有限状态概率过程的完全公理系统，（语言与交互：Robin Milner的荣誉论文（1999）） [40] Turrini，A。；Hermannss，H.，概率自动机多项式时间决策算法，Inf.Comput。，244（2015年）·Zbl 1329.68168号 [41] 蒂默，M。；Katoen，J。；范德波尔，J。；Stoelinga，M.，马尔可夫自动机的汇流约简，理论。计算。科学。，655 (2016) ·Zbl 1356.68136号 [42] Vadhan，S.，《理论计算机科学中的伪随机性、基础和趋势》，第7卷（2012年），Now Publishers Inc·Zbl 1308.68011号 [43] Vardi，M.，概率并发有限状态程序的自动验证，（FOCS’85（1985），IEEE），327-338 [44] 王，Y。；Larsen，K.，《测试概率和非确定性过程》（协议规范，测试和验证XII（1992）），47-61 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。