{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{“日期部分”：[[2023,5,31]]，“日期时间”：“2023-05-31T11:07:30Z”，“时间戳”：1685531250020}，“出版商位置”：“柏林，海德堡”，“参考计数”：19，“出版者”：“施普林格-柏林-海德堡（Springer Berlin Heidelberg）”，“isbn-type”：[{“值”：“9783540407539”，“类型”：打印“}，{”值“：“9783540451877”，“type”：“electronic”}]，“license”：[{“start”：{“date-parts”：[[2003,1,1]]，“date-time”：“2003-01-01T00:00:00Z”，“timestamp”：1041379200000}，“content-version”：“tdm”，“delay-in-days”：0，“URL”：“http://www.springer.com\/tdm”}]，“short-container-title”：[]，“published-print”：{“date-parts”：[2003]]}，“DOI”：“10.1007\/978-3-540-45187-7_13”，“type”：“book-chapter”，“created”：{“date-parts”：[[2010,6,25]]，“date-time”：“2010-06-25T22:38:49Z”，“timestamp”：1277505529000}，《page》：“193-207”，“source”：《Crossref》，“is-referenced-by-count”：11，“title”：[“概率I/O自动机的过程代数语言”]，“前缀”：“10.1007”，“作者”：[{“给定”：“Eugene W.”，“family”：“Stark”，“sequence”：“first”，“affiliation”：[]}，{“given”：“Rance”，“家族”：“Cleaveland”，“序列”：“additional”，“从属关系”：[]}by“：”publisher“，”first page“：”83“，”doi“：“10.1006\/inco.1998.2706”，“volume”：“144”，“author”：“M.Bernardo”，“year”：“1998”，“unstructured”：“Bernarda，M.，Donatiello，L.，Gorrieri，R.：并行系统建模和分析中性能方面集成的正式方法。信息与计算\u00a0144（2），83\u2013154（1998）”，“期刊标题”：“信息与计算”}，{“key”：“13_CR2”，“series-title”：“计算机科学课堂讲稿”，“doi-asserted-by”：“publisher”，“首页”：“183”，《doi》：“10.1007\/3-540-44667-2_5”，“volume-title”：《形式方法与性能分析讲座》，“author”：“E.Brinksma”，“year”：“2001”，“unstructured”：“Brinksma，E.，Hermanns，H.：过程代数和马尔可夫链。收录：Brinksma-E.，Hemanns，H.，Katoen，J.-P（编辑）EEF School 2000和FMPA 2000。LNCS，卷\u00a02090，第183\u2013231页。Springer，Heidelberg（2001）“}，{”key“：”13_CR3“，”doi-asserted-by“：”publisher“，”first page“：“263”，”doi“：”10.1016\/S0304-3975（98）00169-8“，“volume”：“215”，“author”：“P.Buchholz”，“year”：“1999”，“unstructured”：“Buchholz，P.：精确性能等价：随机自动机的等价关系。理论计算机科学\u00a0215，263\u2013287（1999）“，“journal-title”：“理论计算机科学”}，{“key”：“13_CR4”，“doi-asserted-by”：“crossref”，“unstructured”：“Cleaveland，R.，Parrow，J.，Steffen，B.U.：并发工作台：一种基于语义的并发系统验证工具。ACM TOPLAS\u00a 015（1）（1993）”，“doi”：“10.1145\/151646.151648“}，{“key”：“13_CR5”，“doi-asserted-by”：“crossref”，“unstructured”：“De Nicola，R.，Segala，R.：输入/输出自动机的过程代数视图。理论计算机科学\u00a0138（2）（1995）”，“doi”：“10.1016\/0304-975（95）92307-J”}，}“keys”：“13 _CR6”，“first page”：”285“volume-title”：“基于组件的系统的基础”“，”author“：”S.J.Garland“，”year“：”2000“，”unstructured“：”Garland，S.J.，Lynch，N.A.：使用I/O自动机开发分布式系统。摘自：Leavens，G.T.，Sitaraman，M.（编辑）《基于组件的系统的基础》，第285\u2013312页。剑桥大学出版社，剑桥（2000）“}，{”key“：”13_CR7“，”doi-asserted-by“：”publisher“，”first page“：“43”，“doi”：“10.1016\/S0304-3975（00）00305-4”，“volume”：“274”，“author”：“J.-P.Katoen”，“year”：“2002”，“unstructured”：“Katoen，J.-P.，Hermanns，H.，Herzog，U.：绩效评估的过程代数。理论计算机科学\u00a0274，43\u201397（2002）“，“期刊标题”：“理论计算机科学”}，{“key”：“13_CR8”，“unstructured”：“Hillston，J.：同步的本质。收录：Herzog，U.，Rettelbach，M.（eds.）《过程代数和性能建模第二次研讨会论文集》，1994年7月，第51\u201370页。埃朗根大学（1994）“}，{”key“：”13_CR9“，”doi-asserted-by“：”publisher“，”doi“：”10.1017\/CBO9780511569951“，”volume-title“：”性能建模的组合方法“，”author“：”J.Hillston“，”year“：”1996“，”unstructured“：”Hillston-，J.：性能建模的合成方法。剑桥大学出版社，剑桥（1996）key“：“13_CR10”，“volume-title”：“过程代数手册”，“author”：“B.Jonsson”，“year”：“2001”，“unstructured”：“Jonsson，B.，Larsen，K.G.，Yi，W.：过程代数的概率扩张。收录：Bergstra，J.A.、Ponse，A.、Smolka，S.A.（编辑）《过程代数手册》。Elsevier，Amsterdam（2001）“}，{”issue“：”1“，”key“：”13_CR11“，“doi-asserted-by”：“publisher”，“first page”：“1”，“doi”：“10.1016\/0890-5401（91）90030-6”，“volume”：”94“，“author”：“K.G.Larsen”，“year”：“1991”，“unstructured”：“Larsen，K.G，Skou，A.：通过概率测试的双模拟。信息与计算\u00a094（1），1\u201328（1991）“，”journal-title“：“信息与计算”}，{“key”：“13_CR12”，“doi-asserted-by”：“crossref”，“unstructured”：“Lynch，N.A.，Tuttle，M.：分布式算法的层次正确性证明。摘自：第六届ACM分布式计算原理年会论文集，第137\u2013151页（1987）”，“doi”：“10.1145\/41840.41852”}13_CR13“，”doi-asserted-by“：”publisher“，”first page“：”1093“，“doi”：“10.1109\/32.99196”，“volume”：“17”，“author”：“B.Plateau”，“year”：“1991”，“unstructured”：“Plateaut，B.，Atif，K.：建模并行系统的随机自动机网络。IEEE软件工程汇刊\u00a017，1093\u20131108（1991）”，“期刊标题”：“IEEE软件工程汇刊”}，｛“密钥”：“13_CR14”，“首页”：“466”，“卷标题”：“第13届计算机科学逻辑年会论文集”，“作者”：“E.W.Stark”，“年份”：“1998”，“非结构化”：“Stark，E.W.，Smolka，S.：概率I/O自动机网络中预期延迟的合成分析。In：程序。第十三届计算机科学逻辑年度研讨会，印第安纳州印第安纳波利斯，1998年6月，第466\u2013477页。IEEE Computer Society Press，Los Alamitos（1998）“}，{”key“：”13_CR15“，”unstructured“：”Stark，E.：关于概率I/O自动机的行为等价性及其与概率互模拟的关系。《自动机、语言与组合数学杂志》\u00a08（2）（2003）（待出版）”}，“key”：“13_CR16”，“unstructure”：“”Vaandrager，F.W.：关于过程代数和输入/输出自动机之间的关系。摘自：第六届计算机科学逻辑年度研讨会（LICS 1991），阿姆斯特丹，1991年7月，第387\u2013398页。计算机社会出版社（1991）“}，{”key“：”13_CR17“，”series-title“：”计算机科学讲义“，”doi-asserted-by“：”publisher“，”doi“：”10.1007\/BFb0015029“，”volume-title“：“CONCUR\u201994：并发理论”，”author“：”S.-H.Wu“，”year“：”1994“，”unstructured“：”Wu，S.-H.，Smolka，S.A.，Stark，E.W.：概率I/O自动机的组合性和完全抽象。收录：Jonsson，B.，Parrow，J.（编辑）CONCUR 1994。LNCS，卷\u00a0836。Springer，Heidelberg（1994）“}，{”issue“：”1-2“，”key“：”13_CR18“，”doi-asserted-by“：”publisher“，”first page“：“1”，“doi”：“10.1016\/S0304-3975（97）00056-X”，“volume”：“176”，“author”：“S.-H.Wu”，“year”：“1997”，“unstructured”：“Wu，S.-H.，Smolka，S.A.，Stark，E.W.：概率I/O自动机的构成和行为。理论计算机科学a0176（1-2），1\u201338（1997）“，“journal-title”：“理论计算机科学”}，{“key”：“13_CR19”，“series-title”：《计算机科学讲义》，“doi-asserted-by”：“publisher”，“first-page”：“431”，“doi”：“10.1007\/3-540-36577-X_31”，《volume-title》：“系统构建和分析的工具和算法”，“author”：“D.Zhang”，“year”：“2003”，“非结构化”：“Zhang，D.，Cleaveland，R.，Stark，E.W.：用于并发系统功能和性能分析的集成CWBNC/PIOATool。In：Garavel，H.，Hatcliff，J.（编辑）TACAS 2003。LNCS，卷\u00a02619，第431页\u2013436。Springer，Heidelberg（2003）“}”，“container-title”：[“CONCUR 2003-并发理论”，“计算机科学课堂讲稿”]，“原始标题”：[]，“链接”：[{“URL”：“http://\/link.Springer.com\/content\/pdf\/10007\/978-3-540-45187-7_13”，“内容类型”：“未指定”，“content-version”：“vor”，“intended-application”：“相似性检查”}]，“存放”：{date-parts“：[[2019,5,19]]，“date-time”：“2019-05-19T19:15:38Z”，“timestamp”：1558293338000}，“score”：1，“resource”：{“primary”：}“URL”：“http://\/link.springer.com\/10.1007\/978-3-540-45187-7_13”}，”subtitle“：[]，”shorttitle“：[]，”issued“：{”date-part“：[2003]]}”，“ISBN”：[“9783540407539“，”9783540451877“]，”references-count“：19，”URL“：”http:\/\/dx.doi.org\/10.1007\/978-3-540-45187-7_13“，”关系“：{}，”ISSN“：[”0302-9743“，“1611-3349”]，”ISSN-type“：[{”value“：“0302-974”，“type”：“print”}，{”value“：“1611-33049”，“类型”：“electronic”}]，“subject”：[]，“published”：{“date-parts”：[2003]]}}}}