×
迭戈·卡佐拉;费尔南多·库亚特罗;瓦伦蒂安·瓦莱罗;费尔南多·佩拉约。;J.JoséPardo

概率和不确定性过程的代数理论。 （英语） Zbl 1054.68091号

J.日志。阿尔盖布。程序。 55，编号1-2，57-103（2003）.
摘要：本文介绍了概率和非确定性递归过程的一般框架，该框架考虑了并发过程语义的三个互补观点：行为（测试语义）、指称和公理。我们提出的进程代数PNAL是EPL（进程代数理论，M.Hennessy）的完全概率扩展，它保持了不确定性。这种语言允许我们考虑并发系统的定性和定量方面，这对于获得更真实的模型非常重要。

引用于8文件

MSC公司：

68问题85 并发和分布式计算的模型和方法（进程代数、互模拟、转换网等）

关键词：

进程代数;概率过程和非确定性过程;测试语义;指称语义学;证明系统
PDF格式BibTeX公司 XML格式引用
\textit{D.Cazorla}等人，J.Log。阿尔盖布。程序。55，编号1--2，57-103（2003；Zbl 1054.68091）
全文： 内政部

参考文献：

[1] S.Andova，具有概率选择的过程代数，载于：ARTS’99论文集，LNCS 16011999；S.Andova，概率选择的过程代数，摘自：ARTS’99会议录，LNCS 16011999
[2] B.Bloom，A.R.Meyer，关于概率过程之间相互模拟的评论，载于：A.R.Meyer，M.A.Taitslin（编辑），Logik at Botik，Springer-Verlag，Berlin，1989年；B.Bloom，A.R.Meyer，《关于概率过程之间相互模拟的评论》，载于：A.R.Meyer，M.A.Taitslin（编辑），Logik at Botik，Springer-Verlag，Berlin，1989年·Zbl 0681.68027号
[3] Cazorla，D。；库亚特罗，F。；瓦莱罗，V。；Pelayo，F.L.，概率和非确定性过程的过程代数，《信息处理快报》，80，1，15-23（2001）·Zbl 1003.68087号
[4] I.Christoff，概率过程的等价性测试，博士论文，乌普萨拉大学，瑞典，1990年；I.Christoff，概率过程的等效性测试，博士论文，乌普萨拉大学，瑞典，1990年·Zbl 0925.03151号
[5] 克里维兰，R。；Dayar，Z。；斯莫尔卡，S.A。；Yuen，S.，概率过程、信息和计算的测试预订单，154，2，219-241（1999）·Zbl 1045.68564号
[6] R.Cleaveland，S.Purushothaman Iyer，分支时间概率模型检验，载：卡尔顿科学（编辑），2000年ICALP研讨会，信息学论文集，2000年第8卷，第487-500页；R.Cleaveland，S.Purushothaman Iyer，分支时间概率模型检验，载于：Carleton Scientific（Ed），ICALP Workshops 2000，Proceedings in Informatics，vol.8，2000，pp.487-500
[7] F.Cuartero，D.de Frutos，V.Valero，《PCSP：概率过程的指称模型》，载于《第三届AMAST实时系统研讨会论文集》，1996年；F.Cuartero，D.de Frutos，V.Valero，《PCSP：概率过程的指称模型》，载于《第三届AMAST实时系统研讨会论文集》，1996年·Zbl 1123.68079号
[8] F.Cuartero，D.de Frutos，V.Valero，概率过程的健全和完整的证明系统，载于：ARTS’97，LNCS 12311997；F.Cuartero，D.de Frutos，V.Valero，概率过程的健全完整证明系统，收录于：ARTS’97，LNCS 12311997·Zbl 1123.68079号
[9] D’Argenio，P.R。；Hermanns，H。；Katoen，J.-P.，《论生成性平行作文》，《理论计算机科学中的电子笔记》，22，25（1999）
[10] L.de Alfaro，概率系统的形式化验证，斯坦福大学博士论文，1998年；L.de Alfaro，概率系统的形式验证，斯坦福大学博士论文，1998年
[11] 德尼古拉（de Nicola），R。；Hennessy，M.，《过程等价性测试》，《理论计算机科学》，34，83-133（1984）·Zbl 0985.68518号
[12] J.I.den Hartog，E.P.de Vink，《混淆不确定性和概率：初步报告》，载于：《1998年PROBMIV会议录，TCS中的电子笔记》，1998年；J.I.den Hartog，E.P.de Vink，《混淆不确定性和概率：初步报告》，收录于：《1998年PROBMIV会议记录》，TCS电子笔记，1998年·Zbl 0920.68050号
[13] A.Giacalone，C.-C.Jou，S.A.Smolka，概率并发系统的代数推理，摘自：编程概念和方法工作会议记录，IFIP TC 2，以色列加利利海，1990年；A.Giacalone，C.-C.Jou，S.A.Smolka，概率并发系统的代数推理，摘自：编程概念和方法工作会议记录，IFIP TC 2，以色列加利利海，1990
[14] C.Gregorio，L.Llana，M.Nüñez，P.Palao，概率时间进程代数的语义测试，摘自：第四届AMAST实时系统研讨会论文集，LNCS 12311997；C.Gregorio，L.Llana，M.Núñez，P.Palao，概率时序过程代数的语义测试，载于：第四届AMAST实时系统研讨会论文集，LNCS 12311997
[15] C.Gregorio，M.Nüñez，概率拒绝测试的指称语义学，收录于：PROBMIV’98，TCS中的电子注释，第22卷，1998年；C.Gregorio，M.Nüñez，概率拒绝测试的指称语义，收录于：PROBMIV’98的会议记录，TCS中的电子笔记，第22卷，1998年·Zbl 0920.68066号
[16] Groote，J.F.，带负前提的转换系统规范，理论计算机科学，118263-299（1993）·Zbl 0778.68057号
[17] H.Hansson，B.Jonsson，《具有时间和概率的通信系统的微积分》，摘自：《实时系统研讨会论文集》，佛罗里达州奥兰多，1990年；H.Hansson，B.Jonsson，《具有时间和概率的通信系统的微积分》，摘自：《实时系统研讨会论文集》，佛罗里达州奥兰多，1990年
[18] Hennessy，M.，《过程代数理论》（1988），麻省理工学院出版社：麻省理学院出版社剑桥·Zbl 0744.68047号
[19] C.Jones，概率非决定论，爱丁堡大学博士论文，1990年；C.Jones，概率非决定论，爱丁堡大学博士论文，1990年
[20] C.Jones，G.D.Plotkin，评估的概率功率域，摘自：1989年第四届计算机科学逻辑年度研讨会论文集；C.Jones，G.D.Plotkin，评估的概率功率域，摘自：1989年第四届计算机科学逻辑年度研讨会论文集·Zbl 0716.06003号
[21] Jonsson，B。；Yi，W.，概率过程的组合测试预订单，（in：第十届IEEE计算机科学逻辑研讨会，加州圣地亚哥（1995）），431-443
[22] B.Jonsson，W.Yi，概率可能性测试的完全抽象表征，载于：第五届国际AMAST实时与概率系统研讨会，ARTS’99，LNCS 16011999；B.Jonsson，W.Yi，概率可能测试的完全抽象表征，摘自：第五届实时和概率系统国际AMAST研讨会，ARTS’99，LNCS 16011999
[23] C.Jou，S.A.Smolka，概率过程的等价、同余和完全公理化，收录于：CONCUR’90，LNCS 4581990；C.Jou，S.A.Smolka，概率过程的等价、同余和完全公理化，收录于：CONCUR’90，LNCS 4581990
[24] M.Z.Kwiatkowska，G.Norman，反应概率过程的完全抽象度量空间指称语义，收录于：COMPROX’98会议录，TCS电子笔记，第13卷，1998年；M.Z.Kwiatkowska，G.Norman，反应概率过程的完全抽象度量空间指称语义，载于：《压缩机学报》'98，TCS电子注释，第13卷，1998年·Zbl 0917.68137号
[25] Larsen，K.G。；Skou，A.，通过概率测试的互模拟，信息和计算，94，1，1-28（1991）·Zbl 0756.68035号
[26] G.Lowe，代表反应过程中的非确定性和概率行为，技术报告PRG-TR-11-93，牛津大学计算实验室，1993年；G.Lowe，代表反应过程中的非确定性和概率行为，技术报告PRG-TR-11-93，牛津大学计算实验室，1993年
[27] 摩根，C。；McIver，A。；塞德尔，K。；Sanders，J.W.，《CSP的精炼导向概率》，计算的形式方面，8，6，617-647（1996）·Zbl 0862.68050号
[28] 努涅斯，M。；de Frutos，D.，概率LOTOS的测试语义，（形式描述技术VIII（1995）），365-380
[29] 努涅斯，M。；水果，D。；Llana，L.，概率过程的验收树，（CONCUR’95，LNCS 962（1995）），249-263
[30] R.Segala，概率自动机的基于合成轨迹的语义，收录于：CONCUR’95，LNCS 9621995；R.Segala，概率自动机的基于合成轨迹的语义，收录于：CONCUR’95，LNCS 9621995
[31] R.Segala，N.Lynch，概率过程的概率模拟，收录于：CONCUR’94，LNCS 8361994；R.Segala，N.Lynch，概率过程的概率模拟，载于：CONCUR'94，LNCS 8361994·Zbl 0839.68067号
[32] 范·格拉贝克，R。；斯莫尔卡，S.A。；Steffen，B.U.，概率过程的反应、生成和分层模型，信息与计算，121，1，59-80（1995）·Zbl 0832.68042号
[33] 范·格拉贝克，R。；斯莫尔卡，S.A。；Steffen，B.U。；Tofts，C.M.N.，概率过程的反应、生成和分层模型，（in：第五届IEEE计算机科学逻辑研讨会论文集，宾夕法尼亚州费城（1990）），130-141
[34] Vardi，M.Y.，概率并发有限状态程序的自动验证，（in:Proceedings of 26th FOCS（1985）），327-338
[35] Yi，W.，具有不确定性信息的实时概率过程的代数推理，（实时和容错系统中的形式化技术，LNCS 863，德国基尔（1994）），680-693
[36] Yi，W。；Larsen，K.G.，《测试概率和非确定性过程》（协议规范，测试和验证XII（1992）），47-61
[37] 袁，S。；克利夫兰，R。；Dayar，Z。；Smolka，S.A.，概率过程测试预订单的完全抽象表征，（CONCUR’94，LNCS 836（1994）），497-512
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。