×

概率倒刺同余。 (英语) Zbl 1279.68255号

Aldini,Alessandro(编辑)等人,第五届编程语言定量方面研讨会论文集(QAPL 2007),葡萄牙布拉加,2007年3月24日至25日。阿姆斯特丹:爱思唯尔。《理论计算机科学电子笔记》190,第3期,185-203(2007)。
摘要:本文定义了一个概率倒刺同余,它与CCS概率扩展中的观测等价一致。基于这个重合结果,我们为概率CCS的有限片段中的倒刺同余提供了一个完善的公理化。
关于整个系列,请参见[Zbl 1275.68011号].

MSC公司:

第68季度85 并发和分布式计算的模型和方法(进程代数、互模拟、转换网等)
87年第68季度 计算机科学中的概率(算法分析、随机结构、相变等)
PDF格式BibTeX公司 XML格式引用
全文: 内政部

参考文献:

[1] L.Aceto、Z.Eisik和A.Ingólfsdóttir。概率双相似性的等式公理(初步报告)。技术报告RS-02-6,金砖国家,2002年;L.Aceto、Z.Eisik和A.Ingólfsdóttir。概率双相似性的等式公理(初步报告)。技术报告RS-02-6,金砖国家,2002年·Zbl 1275.68099号
[2] 圣安多瓦。概率过程代数; 圣安多瓦。概率过程代数
[3] Andova,S。;Baeten,J.C.M。;Willemse,T.A.C.,《概率系统分支互模拟的完全公理化及其在协议验证中的应用》,(第17届并发理论国际会议论文集,第17届并行理论国际会议文献集,计算机科学讲义,第4137卷(2006),施普林格),327-342·Zbl 1151.68502号
[4] Baeten,J.C.M。;Bergstra,J.A。;Smolka,S.A.,公理化概率过程:具有生成概率的ACP,信息与计算,121,2234-255(1995)·Zbl 0829.60044号
[5] 拜尔,C。;Kwiatkowaska,M.Z.,概率过程的域方程,计算机科学中的数学结构,10,6,665-717(2000)·Zbl 0974.68136号
[6] 班迪尼,E。;Segala,R.,概率互模拟的公理化,(第28届国际自动化学术讨论会论文集,语言与程序设计。第28届自动化国际学术讨论会文献集,语言和程序设计,计算机科学讲义,第2076卷(2001年),斯普林格),370-381·Zbl 0986.68073号
[7] 邓,Y。;Palamidessi,C.,概率有限状态行为的公理化,理论计算机科学,373,1-2,92-114(2007)·Zbl 1111.68081号
[8] 邓,Y。;帕拉米德斯,C。;Pang,J.,概率有限状态行为的组合推理,(《过程、术语和周期:迈向无限之路的脚步》,《献给简·威廉·克洛普的论文,纪念他60岁生日》。《过程、词汇和周期:走向无限之路上的脚步》(Processes,Terms and Cycles:Steps on the Road to Infinity),《献给詹·威廉·科洛普的文章,纪念他六十岁生日》,《计算机科学讲义》,第3838卷(2005),斯普林格出版社),309-337页·Zbl 1171.68570号
[9] 邓,Y。;范·格拉贝克,R。;轩尼诗,M。;摩根,C。;Zhang,C.,关于测试概率过程的评论,理论计算机科学电子笔记,172359-397(2007)·Zbl 1277.68121号
[10] 贾卡隆,A。;Jou,C.-C。;Smolka,S.A.,概率并发系统的代数推理,(IFIP WG 2.2/2.3编程概念和方法工作会议记录(1990)),453-459
[11] Kwiatkowska,M.Z。;Norman,G.,《反应概率过程的测试等价性》,《理论计算机科学电子笔记》,16,2,114-132(1998)·Zbl 0917.68154号
[12] Larsen,K.G。;Skou,A.,通过概率测试的互模拟,信息和计算,94,1,1-28(1991)·Zbl 0756.68035号
[13] 米尔纳,R.,《沟通与并发》(1989),普伦蒂斯·霍尔·Zbl 0683.68008号
[14] 米尔纳,R。;Sangiorgi,D.,Barbed bisimulation,(第19届自动机、语言和程序设计国际学术讨论会论文集。第19届自动机、语言和程序设计国际学术讨论会论文集,计算机科学讲义,第623卷(1992年),施普林格),685-695·Zbl 1425.68298号
[15] D.Sangiorgi。在过程代数中表示移动性:一阶和高阶范式; D.Sangiorgi。在过程代数中表示移动性:一阶和高阶范式
[16] R.塞加拉。随机分布式实时系统的建模与验证; R.塞加拉。随机分布式实时系统的建模与验证
[17] 塞加拉,R。;Lynch,N.A.,概率过程的概率模拟,(第五届并发理论国际会议论文集。第五届并行理论国际会议文献集,计算机科学讲义,第836卷(1994),Springer),481-496
[18] 斯塔克·E·W。;Smolka,S.A.,有限状态概率过程的完整公理系统,(证明、语言和交互:纪念罗宾·米尔纳的论文(2000),麻省理工出版社),571-595
此参考列表基于出版商或数字数学图书馆提供的信息。它的项目与zbMATH标识符启发式匹配,并且可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。