马修·轩尼诗 探索概率互模拟。一、。 （英语） Zbl 1259.68153号 正式Asp。计算。 24，第4-6号，749-768（2012）. 引用于19文件 MSC公司： 87年第68季度 计算机科学中的概率（算法分析、随机结构、相变等） 68问题85 并发和分布式计算的模型和方法（进程代数、互模拟、转换网等） 关键词：概率过程；上下文等价；互模拟等效；逻辑特征化；等式理论 PDF格式BibTeX公司 XML格式引用 \textit{M.Hennessy}，正式Asp。计算。24、编号4--6、749--768（2012；Zbl 1259.68153） 全文： 内政部 参考文献： [1] Andova S（2002）概率过程代数。埃因霍温理工大学博士论文·Zbl 0978.68100号 [2] Baier C，Engelen B，Majster Cederbaum ME（2000）决定概率过程的二相似性和相似性。计算机系统科学杂志60（1）：187–231·Zbl 1073.68690号 ·doi:10.1006/jcss.1999.1683 [3] Bandini E，Segala R（2001）概率互模拟公理化。收录：Orejas F，Spirakis PG，Leeuwen J（eds）ICALP，计算机科学讲稿第2076卷。柏林施普林格，第370-381页·Zbl 0986.68073号 [4] Cleaveland R（1990）关于自动解释互模拟不公平性。收录：Clarke EM，Kurshan RP（eds）CAV，计算机科学讲义第531卷。施普林格，纽约，第364–372页·Zbl 0765.68118号 [5] Deng Y，Du W（2011）概率互模拟的逻辑、度量和算法特征。卡内基梅隆大学CMU-CS-11-110技术报告 [6] Deng Y，Hennessy M（2011）关于马尔可夫自动机的语义。收录：第38届国际自动机、语言和编程学术研讨会论文集（ICALP’11）。计算机科学讲义第6756卷。纽约州施普林格市，第307–318页（完整版本可作为技术报告TCS-2011-06获得，三一学院）·Zbl 1333.68162号 [7] Deng Y，van Glabbeek RJ（2010）逻辑表征概率过程（扩展摘要）。In:Fermüller CG，Voronkov A（eds）LPAR（日惹）。计算机科学讲义第6397卷。纽约州施普林格，第278-293页·Zbl 1306.68122号 [8] Deng Y，van Glabbeek R，Hennessy M，Morgan C，Zhang C（2007）《关于概率过程测试的评论》。计算机科学电子笔记72:359–397·doi:10.1016/j.entcs.2007.02.013 [9] Deng Y，van Glabbeek R，Hennessy M，Morgan C（2009）《有限概率过程测试》（扩展摘要）。摘自：第20届并发理论国际会议论文集。计算机科学课堂讲稿第5710卷。纽约州施普林格，第274–288页（完整版本可在http://basics.sjtu.edu.cn/\（\sim\）yuxin/publications/finitary.pdf·Zbl 1254.68166号 [10] Fournet C，Gonthier G（2005）异步计算的等价层次。逻辑代数程序J 63（1）：131–173·Zbl 1066.68088号 ·doi:10.1016/j.jlap.2004.01.006 [11] Hansson HA（1991）分布式系统形式化设计中的时间和概率。SICS论文系列。瑞典乌普萨拉大学 [12] 轩尼诗M（2007）A distributed Pi-calculus。剑桥大学出版社，纽约·Zbl 1125.68082号 [13] Hermanns H，Parma A，Segala R，Wachter B，Zhang L（2011）概率逻辑表征。信息计算209:154-172·Zbl 1210.68072号 ·doi:10.1016/j.ic.2010.11.024 [14] Honda K，Yoshida N（1995）《基于约简的过程语义》。Theor Compute Sci计算机科学152:437–486·兹伯利0871.68122 ·doi:10.1016/0304-3975（95）00074-7 [15] Larsen KG，Skou A（1989），通过概率测试的相互模拟（初步报告）。摘自：第16届ACM SIGPLAN-SIGACT编程语言原则研讨会论文集，纽约，第344-352页 [16] Milner R（1989）通信与并发。普伦蒂斯·霍尔，恩格尔伍德悬崖·Zbl 0683.68008号 [17] McIver A，Morgan C（2005）概率系统的抽象、精化和证明。柏林施普林格·Zbl 1069.68039号 [18] Morgan C、McIver A、Seidel K和Sanders JW（1995），CSP的精炼导向概率。形式方面计算8:8–16·Zbl 0862.68050号 [19] Milner R，Sangiorgi D（1992），刺状互模拟。收件人：Kuich W（ed）ICALP。《计算机科学讲义》第623卷。柏林施普林格，第685-695页 [20] Philippou A，Lee I，Sokolsky O（2000）概率系统的弱互模拟。摘自：第十一届并发理论国际会议（CONCUR）会议记录。计算机科学讲义第1877卷。纽约州施普林格，第334–349页·Zbl 0999.68146号 [21] Philippou A，Lee I，Sokolsky O（2003）概率系统的弱互模拟。技术报告FLAGS-TR-6，IST计划。全球计算的基础方面。http://ru1.cti.gr/flags/online-reports.jsp [22] Parma A，Segala R（2007）离散概率系统互模拟的逻辑特征。包含：Seidl H（ed）FoSSaCS。计算机科学课堂讲稿第4423卷。柏林施普林格，第287-301页·Zbl 1195.68072号 [23] Segala R（1995）随机分布式实时系统的建模与验证。技术报告MIT/LCS/TR-676，博士论文，麻省理工学院，EECS系 [24] Sangiorgi D、Kobayashi N、Sumii E（2007）高阶语言的环境互模拟。摘自：第22届IEEE计算机科学逻辑研讨会论文集。IEEE计算机协会，第293–302页·Zbl 1141.68377号 [25] Segala R，Lynch NA（1994），概率过程的概率模拟。收件人：Jonsson B，Parrow J（eds）CONCUR。计算机科学讲义第836卷。柏林施普林格，第481-496页 [26] Segala R，Lynch NA（1995），概率过程的概率模拟。北欧J计算2（2）：250–273·Zbl 0839.68067号 [27] Stoelinga M（2002）Alea jacta est：概率、实时和参数系统的验证。荷兰奈梅亨大学博士论文。网址：http://www.soe.ucsc.edu/\（\sim\）玛丽尔 [28] Sangiorgi D，Walker D（2001）{\（\pi\）}演算：移动过程理论。剑桥大学出版社·Zbl 0981.68116号 [29] Tofts CMN（1994）《概率、优先级和时间的过程》。形式方面计算6（5）：536–564·Zbl 0820.68072号 ·doi:10.1007/BF01211867 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。