{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{“日期部分”：[[2022,12,24]]，“日期时间”：“2022-12-24T15:10:22Z”，“时间戳”：1671894622199}，“出版商位置”：“柏林，海德堡”，“参考计数”：16，“出版者”：“斯普林格-柏林-海德堡（Springer Berlin Heidelberg）”，“isbn-type”：[{“值”：“9783540583295”，“类型”：“print”}，{“value”：“9783540486541”，“type”：“electronic”}]，“content-domain”：{“domain”:[]，“crossmark-restriction”：false}，“short-container-title”：[]，”published-print“：{”date-parts“：[[1994]]}，”DOI“：”10.1007\/978-3-540-48654-1_37“，”type“：”book-capter“，”created“：”{“date-part”：[2016,5,10]]，“date-time”：“2016-05-10T09:34:34”4Z“，”时间戳“：1462872874000}，”页面“：”513-528“，“source”：“Crossref”，“is-referenced-by-count”：9，“title”：[“概率I/O自动机的组成和行为”]，“prefix”：“10.1007”，”author“：[{”given“：”Sue-Hwey“，”family“：”Wu“，”sequence“：”first“，”affiliation“：[]}，{”给定“：”Scott A.“，”家族“：”Smolka“，”序列“：”additional“，”filiation：“Stark”，“sequence”：“additional”，“affiliation”：[]}]，“member”：“297”，“reference”：[{“key”：“37_CR1”，“volume-title”：“J.C.M.Baeten和J.W.Klop，编辑，CONCUR 90-第一届并行理论国际会议论文集，计算机科学讲义，第458卷，第126-140页。Springer-Verlag“，“author”：“I Christoff”，“year”：“1990”，“unstructured”：“I.Christoff。测试概率过程的等价性和完全抽象模型。J.C.M.Baeten和J.W.Klop编辑，《CONCUR\u201990-第一届并行理论国际会议论文集》，计算机科学讲义，第458卷，第126\u2013140页。Springer-Verlag，1990.“}，{”key“：”37_CR2“，”volume-title“：”TIPP\u2014一种用于定时过程和性能评估的语言。技术报告4\/92“，”author“：”N G\u00f6tz“，”year“：”1992“，”unstructured“：”N.G\u00 f6tx，U.Herzog，and M。雷特利巴赫。TIPP \u2014是一种用于定时过程和性能评估的语言。技术报告4\/92，德国埃尔兰根-纽伦堡大学，1992年11月。“｝，｛“key”：“37_CR3”，“卷标题”：“乌普萨拉大学”，“作者”：“H.A”，“年份”：“1991”，“非结构化”：“H.A.Hansson。分布式系统形式化设计中的时间与概率。乌普萨拉大学计算机系统系博士论文，1991。”｝，｛“key”：“37_CR4“，“volume-title”：“PEPA：性能增强的进程代数。技术报告CSR-24-93，爱丁堡大学计算机科学系”，“作者”：“J Hillston”，“年份”：“1993年”，“非结构化”：“J.Hillston。PEPA：性能增强的过程代数。技术报告CSR-24\u201393，英国爱丁堡大学计算机科学系，1993年3月。“}，{“key”：“37_CR5”，“volume-title”：“第十一届IEEE实时系统研讨会论文集”，“author”：“HA Hansson”，“year”：“1990”，“unstructured”：“H.A.Hansson and B。琼森。用时间和概率进行系统通信的微积分。《第11届IEEE实时系统研讨会论文集》，1990年key“：”37_CR7“，”volume-title“：”代数。Addison-Wesley“，”author“：”S Lang“，”year“：”1984“，”unstructured“：”S.Lang.Algebra“。Addison-Wesley，Menlo Park，California，1984年。“}，{“key”：“37_CR8”，“unstructured”：“K.G.Larsen和A.Skou。通过概率测试的双向模拟。信息与计算，94（1）：1\u2013281992年9月。本文的初步版本发表于奥尔堡大学技术报告R 88\u201318和R 88\u 201329，以及1989年在德克萨斯州奥斯汀举行的第16届ACM编程语言原理研讨会论文集。“}，{“key”：“37_CR9”，“volume-title”：“第6届ACM分布式计算原理研讨会论文”作者：“NA Lynch”，“年份”：“1987”，“非结构化”：“N.A.Lynch和M.Tuttle。分布式算法的层次正确性证明。1987年第六届ACM分布式计算原理年会论文集。“}，{“key”：“37_CR10”，“doi-asserted-by”：“crossref”，“unstructured”：“M.K.Molloy.使用随机Petri网的性能分析。IEEE Trans.Compute.，C-31（9），1982年9月。”，“doi”：“10.1109\/TC.1982.1676110”}，}，“key“：”37_CR11“，”doi-assert-by“：”publisher“，”首页“：”230“，”DOI“：”10.1016\/S0019-9958（63）90290-0“，”卷“：”6“，”作者“：”MO-Rabin“，”年份“：”1963“，”非结构化“：”M.O.Rabin.概率自动机。信息与控制，6:230\u20132451963。”，“新闻标题”：“信息与控制”}，{“key”：“37_CR12”，“volume-title”：“概率CSP”，“author”：“K Seidel”，“year”：“1992”，“unstructured”：“K.Seidel.概率CSP.博士论文，牛津大学，1992。”}概率兆环统计及其可靠性、排队和计算机科学应用。普伦蒂斯·霍尔”，“作者”：“KS Trivedi”，“年份”：“1982年”，“非结构化”：“K.S.Trivedi。概率兆环统计与可靠性、排队和计算机科学应用。Prentice Hall，Englewood Cliffs，新泽西州，1982。“}，{“key”：“37_CR14”，“volume-title”：“分布式算法的层次正确性证明”，“author”：“M Tuttle”，“year”：“1987”，“unstructured”：“M.Tuttle。分布式算法的层级正确性证明。硕士论文，麻省理工学院，1987年4月卷标题“：“第五届IEEE计算机科学逻辑研讨会论文集”，“作者”：“RJ Glabbeek”，“年份”：“1990年”，“非结构化”：“R.J.van Glabbeke，S.A.Smolka，B.Steffen，和C.M.N.Tofts。概率过程的反应模型、生成模型和分层模型。第五届IEEE计算机科学逻辑研讨会论文集，第130\u2013141页，宾夕法尼亚州费城，1990年链接“：[{”URL“：”http://\/link.springer.com/content\/pdf\/10.1007\/978-3-540-48654-1_37“，”内容类型“：”未指定“，”content-version“：”vor“，”intended-application“：”相似性检查“}]，”存放“：{”日期部分“：[[2019,1,18]]，”日期时间“：”2019-01-18T18:46:32Z“，”时间戳“：1547837192000}，”分数“：1，”资源“primary“：{”URL“：”http://\/link.springer.com/10.1007\/978-3-540-48654-1_37“}}，”副标题“：[]，”短标题“：[]，”已发布“：{”日期-部分“：[[1994]]}，“ISBN”：[“9783540583295”，“9783546541”]，“引用计数”：16，“URL”：“http://\/dx.doi.org\/10.1007\/9783-540-48654-1 _37”，“关系”：{}，N“：[”0302-9743“，”1611-3349“]，“ISSN-type”：[{“value”：“0302-974”，“type”:“print”}，{“value“：“1611-3349”，“type”：“electronic”}]，“subject”：[]，“published”：{“date-parts”：[[1994]]}}