{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{“日期-部件”：[[2024,4,24]]，“日期-时间”：“2024-04-24T15:33:42Z”，“时间戳”：1713972822638}，“引用-计数”：46，“发布者”：“爱思唯尔BV”，“许可证”：[{“开始”：{-“日期-零件”：[2020,4,1]]，”日期-时间“：”2020-04-01T00:00:00 0Z“，”时间戳“：1585699200000}，”内容-版本“：“tdm”，“delay-in-days”：0，“URL”：“https:\/\/www.elsevier.com/tdm\/userlicense\/1.0\/”}，{“start”：{“date-parts”：[[2024,4,12]，“date-time”：“2024-04-12T00:00:00Z”，“timestamp”：171288000000}，“content-version”：“vor”，“delay-in-days”：1472，“URL“http://\/www.elsevier.com\/open-access\/user”license\/1.0\/“}，{“start”：{“date-parts”：[[2020,4,1]]，“date-time”：“2020-04-01T00:00:00Z”，“timestamp”：1585699200000}，“content-version”：“stm-asf”，“delay-in-days”：0，“URL”：“https:\/\/doi.org\/10.15223\/policy-017”}，{“start”：{“date-parts”：[[2020,4,1]]，“date-time”：“2020-104-01T00-00:00Z”，-days“：0，”URL“：”https:\/\/doi.org\/10.15223\/policy-037“}，{“start”：{“date-parts”：[[2020,4,1]]，“date-time”：“2020-04-01T00:00:00Z”，“timestamp”：1585699200000}，“content-version”：“stm-asf”，“delay-in-days”：0，“URL”：“https:\/\/doi.org\/10.15223\/policy-012”}，{“start”：{《date-part》：[[20203,4,1]，“日期时间”：“204-04-01T00:00Z”，《timestamp》：1585699 200000}，“content-version”：“stm-asf”，“delay-in-days”：0，“URL”：“https://doi.org/10.15223\/policy-029”｝，｛“开始”：｛“日期部分”：[[2020,4,1]，“日期时间”：“2020-04-01T00:00:00Z”，“时间戳”：1585699200000｝，“内容版本”：“stm-asf”，“延迟天数”：0，“URL”：“https://doi.org/10.15223\/policy-004”｝]，“资助者”：[｛“doi”：“10.13039\/50101100001840”，“名称”：“冰岛语研究中心“，”doi断言“：”出版商“，“奖项”：[“196050-051”]}]，“内容域”：{“域”：[”elsevier.com“，”sciencedirect.com“]，”crossmark-restriction“：true}，”short-container-title“：[”Theory Computer Science“]，“published-print“：{”date-parts“：[2020,4]}，“DOI”：“10.1016\/j.tcs.2019.09.019”，“type”：“journal-article”，“created”：{“date-part”：[[2019，9,16]]，“日期-时间”：“2019-09-16T15:05:39Z”，“timestamp”：1568646339000}，“page”：“20-69”，“update-policy”：”http://\/dx.doi.org\/10.1016\/elsevier_cm_policy“，”source“：”Crossref“，“is-referenced-by-count”：9，“title”：[“非确定性概率过程上的公制线性时间分支时间谱”]，“prefix”：“10.1016”，“volume”:“813”，“author”：[{“给定”：“瓦伦蒂娜“，“family”：“Castiglioni”，“sequence”：“first”，“affiliation”：[]}，{“given”：“Michele”，“faily”：”Loreti“，”sequence“：”additional“，”affiliance“：[]{“ORCID”：”http://\/ORCID.org\/00000-0002-3991-5123“，”authenticated-ORCID“：false，”given“：”Simone“引用”：[{“键”：“10.1016\/j.tcs.2019.09.019_br0010”，“series-title”：“ICTAC 2015年公报”，“首页”：“349”，“article-title”：“马尔可夫链上从分支到线性度量的收敛”，“author”：“Bacci”，“year”：“2015”}，{“key”：”10.1016\/j.tc.2019.019_br0020“，“series-title“：”FoSSaCS 2012年公报“，”第一页“：”：“195”，”article-title“：“重新审视非确定性和概率过程的跟踪和测试等价性”，“author”：“Bernardo”，“year”：“2012”}，｛“key”：“10.1016\/j.tcs.2019.09.019_br0030”，“series title”：“Proc.QAPL 2013”，“first page”：“81”，“article title”：“非确定性和概率过程的强行为等价性谱”，“author”：“Bernardo”，“year”：“2013”}，{“key”：“10.1016\/j.tcs.2019.09.019_br0040”，“doi-asserted-by”：“crossref”，“first-page”：“63”，“doi”：“101016\/j.tcs.2014.03.001”，“article-title”：“具有不确定性和概率的过程的相关强行为等价性”，“volume”：科学“}，{“issue”：“1”，“key”：“10.1016\/j.tcs.2019.09.19_br0050”，“article-title”：“非确定性过程和概率过程的追踪和测试等价物重审”，“volume”：”10“，”author“：”Bernardo“，”year“：”2014“，”journal-title“：”Log.Methods Compute.Sci.“}，{“isue”：”3“，”key“：”10.1016\/j.tcs.2019.019_br0060“，”doi-asserted-by“：”crossref“”，“首页”：“560”，“DOI”：“10.1145\/828.833”，“article-title”：“通信顺序过程的理论”，“卷”：“31”，“作者”：“布鲁克斯”，“年份”：“1984”，“日记标题”：“J.ACM”}，{“key”：“101016\/J.tcs.2019.09.019_br0070”，”series-title“：”Proc.EXPRESS 2018“，”首页“：”19“，”article-title“：“非确定性概率过程的跟踪和测试指标”，“卷”：“第276卷”，“作者”：“Castiglioni”，“年份”：“2018”}，{“key”：“10.1016\/j.tcs.2019.09.19_br0080”，“series-title”：“Proc.QAPL'16”，“首页”：“44”，“文章标题”：“双模拟指标的逻辑表征”，“卷标”：“卷227”，“作家”：“卡斯蒂格利奥尼”，“年”：“2016”}，{“key”：“10.1016\/j.tcs.2019.09.019_br0090”，“series-tile”：“Proc.CONCUR 2016”，“article-title”：“非确定性概率过程的模态分解”，“volume”：《第49卷》，“author”：“Castiglioni”，“year”：“2016”}，{“issue”：“2”，“key“10.1016”，“rtics.2019.019_br0100”，“article-tlite”：“基于SOS的非确定性概率过程模态分解”，“volume”：“14”，“author”：“Castiglioni”，“year”：“2018”，“journal-title”：“Log.Methods Compute.Sci.”}，{“key”：”10.1016\/j.tcs.2019.09.019_br0110“，”series-title“：”Proc。QAPL@ETAPS（预计到达时间）2017”，“首页”：“39”，“article-title”：“跟踪指标的逻辑表征”，“卷”：“卷250”，“作者”：“Castiglioni”，“年份”：“2017”}，{“键”：“10.1016\/j.tcs.2019.09.019_br0120”，“doi-asserted-by”：“crossref”，“doi”：“101016\/j.ic.2019.06.001”，“article-title”：“非确定性概率转移系统分支度量的逻辑特征”，“卷”：“268”，“作者”：“Castiglioni”，“年份”：“2019”，“期刊标题”：“Inf.Comput。“｝，｛”key“：”10.1016\/j.tcs.2019.09.019_br0130“，”系列标题“：”Proc.CONUR 2016“，”文章标题“：”马尔可夫链之间的线性距离“，”作者“：”Daca“，”年份“：”2016“｝，｛”issue“：”2“，”key“：”10.1016\/j.tcs.2019.09.019_br0140“，”doi断言“：”crossref“，”首页“：”258“，”doi“：”10.1109\/TSE.2008.106“，”文章标题“：”线性和分支系统度量”，“卷”：“35”，“作者”：“de Alfaro”，“年份”：“2009年”，“期刊标题”：“IEEE Trans。柔和。工程“}，{“key”：“10.1016\/j.tcs.2019.09.019_br0150”，“series-title”：“Proc.ICALP'03”。ICALP'03“，“首页”：“1022”，“文章-标题”：“系统理论中的未来贴现”，“作者”：“de Alfaro”，“年份”：“2003”}，{“键”：“10.1016\/j.tcs.2019.09.019_br0160”，“doi-asserted-by”：“crossref”，“第一页”：“作者”：“de Nicola”，“年份”：“1984年，“新闻标题”：“Theor。计算。科学。“}，{”issue“：”2“，”key“：”10.1016\/j.tcs.2019.09.019_br0170“，”doi-asserted-by“：”crossref“，”first page“：“79”，”doi“：”101016\/j.entcs.2005.10.033“，”article-title“：”action-labelled quantitative transition systems“，”volume“:”153“，“author”：“Deng”，“year”：“2006”，“journal-title”：“Electron.Notes.Theor.Comput.Sci.”}，{“问题”：“4”，“密钥”：“10.1016\/j.tcs.2019.09.019_br0180“，”doi-asserted-by“：”crossref“，”doi“：”10.2168\/LMCS-4（4:4）2008“，”article-title“：”表征有限概率过程的测试前序“，”volume“：”4“，”author“：”Deng“，”year“：”2008“，“journal-title”：“Log”。方法计算。科学。“}，{”issue“：”3“，”key“：”10.1016\/j.tcs.2019.09.019_br0190“，”doi-asserted-by“：”crossref“，”first page“：“323”，”doi“：”101016\/j.tcs.2003.09.013“，”article-title“：”标签马尔可夫过程的度量“，”volume“:”318“，”author“：”Desharnais“，”year“2004”，”journal title“：“Theor.Comput.Sci.”}，”{“key“：”10.1016\/j.tcs.2019.09.019_br0200“，”series-title“：”程序。LICS 2002”，“首页”：“413”，“article-title”：“概率过程弱互模拟的度量模拟”，“author”：“Desharnais”，“year”：“2002”}，{“key”：“10.1016\/j.tcs.2019.09.19_br0210”，“doi-asserted-by”：“crossref”，“first page”：游戏在形式化理论完备性问题中的应用”，“卷”：“49”，“作者”：“埃伦菲希特”，“年份”：“1961年”，“新闻标题”：“Fundam。数学。“}，{”key“：”10.1016\/j.tcs.2019.09.019_br0220“，”doi-asserted-by“：”crossref“，”first page“：“54”，“doi”：“10.1016\/j.tc.2013.07.030”，“article-title”：“定量线性时间分支时间谱”，“volume”：“538”，“author”：“Fahrenberg”，“year”：“2014”，“journal-title“：”Theor.Comput.Sci.“}\/j.tcs.2019.09.019_br0230“，”首页“：”35“，”article-title“：”Surquelques classifications des syst\u00e8ms de relationships“，”volume“：”volume1“，”author“：”Fra\u00efss\u00e_9“，”year“：”1954“}，{”issue“：”4“，”key“：“10.1016\/j.tcs.2019.09.19_br0240”，“article-title”：“使用概率过程计算的成分互模拟度量推理”，”volum:“12”，“author”：“Gebler”，“year”：“2016”，“”journal-title“：”日志。方法计算。科学。“}，{”key“：”10.1016\/j.tcs.2019.09.019_br0250“，”series-title“：”Proc.EXPRESS\/SOS 2013“，”first page“：“32”，“article-title”：“概率系统近似互模拟的组成”，“volume”：“vol.120”，“author”：“Gebler”，“year”：“2013”}，“key”：S 2014”，“首页”：“63”，“article-title“：”概率过程组合子组成特性的定点表征“，”volume“：”vol.160“，”author“：”Gebler“，”year“：”2014“}，{“key”：“10.1016\/j.tcs.2019.09.019_br0270”，”doi-asserted-by“：”crossref“，”first page“：一致连续算子的SOS规范”，“volume”：“92”，“author”：“Gebler”，“year”：“2018”，“journal-title”：“J.Compute”。系统。科学。“}，{”issue“：”4\u20136“，”key“：”10.1016\/j.tcs.2019.09.019_br0280“，”doi-asserted-by“：”crossref“，”first-page“：”727“，”doi“：”101007\/s00165-012-0236-5“，”article-title“：”Probabilistic may\/must testing:retaining probabilities by restrictived scheduler“，”volume“：“24”，”author“：”Georgievska“，”year“：”2012“，”journal-title”：“Form.Asp。计算。“}，{”键“：”10.1016\/j.tcs.2019.09.019_br0290“，“series-title”：“程序。IFIP Work，Conf.on Programming，Concepts and Methods”，“first page”：“443”，“article-title”：“概率并发系统的代数推理”，“author”：“Giacalone”，“year”：“1990”}，{“issue”：“2”，“key”：”10.1016\/j.tcs.2019.019_br0300“，”doi-asserted-by“：”crossref“，“first-page”：“154”，”doi“10.1016\/j.ic.2010.11.024”，“article-tite”：“概率逻辑表征”，“卷”：“209”，“作者”：“赫尔曼”，“年份”：“2011”，“新闻标题”：“信息计算”。“}，{”key“：”10.1016\/j.tcs.2019.09.019_br0310“，”series-title“：”Communicating Sequential Processes“，”author“：”Hoare“，”year“：”1985“}”，{“key”：“10.1016\\j.tcs.2019.09.019_br0320”，“series-ttle”：“Proc.CONCUR'90”，“首页”：“367”，“article-title”：”概率过程的等价、同余和完备公理化“，”卷：“vol.45.8英寸author“：”Jou“，”year“：”1990“}，{”issue“：”2“，”key“：”10.1016\/j.tcs.2019.09.019_br0330“，”首页“：”227“，”article-title“：”On the transfer of mass“，”volume“：“37”，“author”：“Kantorovich”，“year”：“1942”，“journal-title”：“Dokl.Akad.Nauk SSSR”}，“issue”：“7”，“key”：“10.1016\/j.tcs。2019.09.019_br0340“，”doi-asserted-by“：”crossref“，”首页“：”371“，”doi“：”10.1145\/360248.360251“，“文章标题”：“并行程序的正式验证”，“卷”：“19”，“作者”：“Keller”，“年份”：“1976”，“新闻标题”：”Commun。ACM“}，{”key“：”10.1016\/j.tcs.2019.09.019_br0350“，”series-title“：”Proc.MFCS'96“，”first page“：“419”，”article-title“：“带递归的简单语言的概率度量语义”，“author”：“Kwiatkowska”，“year”：“1996”}，“key”：“10.1016\\j.tcs.2019.09.019_br0360”，“series-ttle”：“Proc.ICTAC 2018”，“first page:”292“，”文章标题“：”具有非确定性和连续状态空间的模型中的弱互模拟度量”，“volume”：“vol.11187”，“author”：“Lanotte”，“year”：“2018”}，{“issue”：“1”，“key”：“10.1016\/j.tcs.2019.09.019_br0370”，“doi asserted by”：“crossref”，“first page”：“1”，“doi”：“10.1016\/0890-5401（91）90030-6”，“文章标题”：“通过概率测试的互模拟”卷：“94”，“作者”：“拉森”，“年份”：“1991”，“新闻标题”：“Inf.Comput。“}，{”key“：”10.1016\/j.tcs.2019.09.019_br0380“，”series-title“：”标签马尔可夫过程“，”author“：”Panangaden“，”year“：”2009“}”，{“key”：“10.1016\/j.tc.2019.09.019_br0390”，”series“：”Proc.CONCUR'95“，”first page“：“1995”}，{“密钥”：10.1016\/j.tcs.2019.09.019_br0400”，“series-title”：“随机分布式实时系统的建模与验证”，“author”：“Segala”，“year”：“1995”}，{“issue”：“2”，“key”：“10.1016\/j.tcs.2019.09.19_br00410”，“first page”：”250“article-title”：”概率过程的概率模拟“，”volume“：”2“，”author“：”Segala“，”year“：”1995“，”journal-title“：”Nord.J.计算。“｝，｛”key“：”10.1016\/j.tcs.2019.09.019_br0420“，”系列标题“：”Proc.QSIC 2007“，”第一页“：”50“，”文章标题“：”走向概率过程的自动测量“，”作者“：”Song“，”年份“：”2007“｝，｛”issue“：”19“，”key“：”10.1016\/j.tcs.2019.09.019_br0430“，”doi断言者“：”crossref“，”第一页“：”715“，”doi“：”10.1016\/j.ipl.2012.06.019英寸，“article-title“：”On behaviour pseudometrics and closure ordinals“，“volume”：“112”，“author”：“van Breugel”，“year”：“2012”，“journal-title”：“Inf.Process”。莱特。“}，{”issue“：”1“，”key“：”10.1016\/j.tcs.2019.09.019_br0440“，”doi-asserted-by“：”crossref“，”first-page“：”115“，”doi“：”101016\/j.tcs.2004.09.035“，”article-title“：”概率转移系统的行为伪度量“，”volume“：“331”，“author”：“van Breugel”，“year”：“2005”，“journal-title”：“Theor.Comput.Sci.”}，}“密钥”：“10.1016\/j.tcs.2019.09.019_br0450“，“series-title”：“程序。FORMATS 2006”，“first page”：“352”，“article-title”：“连续时间Markov决策过程有意义调度程序的特征描述”，“author”：“Wolovick”，“year”：“2006”}，{“key”：”10.1016\/j.tcs.2019.09.019_br0460“，“series-title”：”Proc.PSTV'92 IFIP Transactions C-8“，“first-page”：“47”，“article-title”：“测试概率和非确定性过程”，“author”：“Yi”，“year”：“1992”}]，“container-title”：[“Theoryal Computer Science”]，“original-title“：[]，“language”：“en”，“link”：[{“URL”：“https:\/\/api.elsevier.com/content\/article\/PII:S0304397519305638？httpAccept=text\/xml”，“content-type”：“text\/xml”，“content-version”：“vor”，“intended-application“：”text-mining“}，{“URL”：“https:\/\/api.elsevier.com/content\/article\/PII:S0304397519305638？httpAccept=text\/plain”，“content-type”：“text\/plan”，“content-version”：“vor”，“intended-application”：“text-mining”}]，“deposed”：{“date-parts”：[2024,4,12]，“date-time”：”2024-04-12T00:38:21Z“，“timestamp”：171288230Z 1000}，“分数”：1，“resource“：{”primary”：{“URL”：“https:\/\/linkinghub.elsevier.com/retrieve\/pii\/S0304397519305638”}}，“subtitle”：[]，“shorttitle”：[]，“issued”：{“date-parts”：[[2020,4]]}，”references-count“：46，”alternative-id“：[”S03043975 19305638]，“URL”“http://dx.doi.org\/10.1016\/j.tcs.2019.09 9.019“，”关系“：{}，”ISSN“：[”0304-3975“]，”ISSN-type“：[{”value“：”0304-3975“，”type“：”print“}]，”subject“：[]，”published“：{”date-parts“：[[2020,4]]}，”assertion“：[{”value“：“Elsevier”，”name“：”publisher“，”label“：”This article is maintained by“}，{”value“：”The metric linear time branching time spectrum on non-deterministicial process“，”name”：“article”，”lable“：”article Title“}”，{“value”：“”理论计算机科学”，“name”：“journaltitle”，“label”：“Journal Title”｝，｛“value”：“https://doi.org/10.1016\/j.tcs.2019.09.019”，“name”：“articlelink”，“label”：“CrossRef doi链接到出版商维护的版本”｝，｛“value”：“article”，“name”：“content_type”，“label”：“content type”｝，｛“value”：“\u00a9 2019 Elsevier B.V.”，“name”：“copyright”，“label”：“版权所有“}]}}