×
卡罗尔·摩根；安娜贝拉·麦克维尔；凯伦·塞德尔；J.W.桑德斯。

CSP的优化导向概率。 （英语） Zbl 0862.68050号

正式Asp。计算。 8，第6期，617-647（1996）。

引用于17文件

MSC公司：

2005年第68季度 计算模型（图灵机等）（MSC2010）
68甲15 编程语言理论

关键词：

可能性；并发；不确定性；精细化；CSP公司
PDF格式BibTeX公司 XML格式引用
\textit{C.Morgan}等人，正式Asp。计算。8，第6号，617--647（1996；Zbl 0862.68050）
全文： 内政部

参考文献：

[1] Baeten，J.C.M.和Bergstra，J.A.：部分选择的过程代数。InCONCUR 94，LNCS中的编号836，第465-480页。Springer Verlag，1994年·Zbl 0942.68608号
[2] Baeten，J.C.M.、Bergstra，J.A.和Smolka，S.A.：公理化概率过程：具有生成概率的ACP。InCONCUR 92，LNCS中的编号630，第472-485页。施普林格出版社，1992年·Zbl 0829.60044号
[3] Baeten，J.C.M.和Weijland，W.P.：过程代数，《剑桥理论计算机科学丛书》第18卷。剑桥大学出版社，1990年·Zbl 0716.68002号
[4] Dijkstra，E.W.：编程学科。普伦蒂斯·霍尔国际，恩格尔伍德悬崖，1976年·Zbl 0368.68005号
[5] Nicola，M.de和Hennessy，M.：测试过程的等效性。理论计算机科学，34，1984·Zbl 0985.68518号
[6] RAISE语言组。RAISE规范语言。普伦蒂斯·霍尔，1992年·Zbl 0835.68076号
[7] 霍尔，C.A.R.：通信顺序过程。普伦蒂斯·霍尔国际出版社，1985年·Zbl 0637.68007号
[8] Jones，C.：概率不确定性。《ECS-LFCS-90-105专著》，爱丁堡大学，1990年。（博士论文）。
[9] Jones，C.和Plotkin，G.：评估的概率幂域。《IEEE第四届计算机科学逻辑年度研讨会论文集》，第186-195页。计算机社会出版社，1989年·Zbl 0716.06003号
[10] Lowe，G.：表示反应过程中的不确定性和概率行为。已提交发布。
[11] Lowe，G.：定时CSP中的概率和优先级。技术专著PRG-111，牛津大学计算实验室，1993年。（DPhil论文）。
[12] Larsen，K.G.和Skou，A.：通过概率测试的相互模拟。1989年，德克萨斯州奥斯汀，第16届ACM编程语言原理研讨会论文集·Zbl 0756.68035号
[13] Milner，R.：沟通与并发。普伦蒂斯·霍尔国际出版社，1989年·Zbl 0683.68008号
[14] McIver，A.、Morgan，C.、Seidel，K.和Sanders，J.W.：概率不确定性的权力结构。正在准备中。
[15] Morgan，C.、McIver，A.、Seidel，K.和Sanders，J.W.：概率CSP中的参数重复。技术报告PRG-TR-11-95，编程研究小组，1995年4月。
[16] Pnueli，A.：反应系统语义和逻辑中的线性和分支结构。第十二届国际自动化、语言和编程学术讨论会论文集，LNCS第458期。斯普林格·弗拉格，1985年·Zbl 0575.68042号
[17] Seidel，K.：概率通信过程。技术专著PRG-102，牛津大学，1992年。（DPhil论文）·Zbl 0872.68111号
[18] Smyth，M.B.：幂域和谓词变换器：拓扑视图。InAutomata，语言与编程第十届学术讨论会，西班牙巴塞罗那，LNCS第154号。施普林格出版社，1983年·Zbl 0533.68018号
[19] Tanenbaum，A.S.：计算机网络。Prentice Hall，第二版，1988年·Zbl 0825.68147号
[20] Glabbeek，R.J.van，Smolka，S.A.，Steffen，B.和Tofts，C.：概率过程的反应、生成和分层模型。1990年6月，美国宾夕法尼亚州费城，IEEE计算机科学逻辑研讨会·Zbl 0832.68042号
[21] Yi，W.和Larsen，K.G.：测试概率和不确定性过程。第12届IFIP协议规范、测试和验证国际研讨会论文集，美国佛罗里达州，1992年。
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。