{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{-“日期-部件”：[[2024,5,8]]，“日期-时间”：“2024-05-08T01:32:38Z”，“时间戳”：1715131958208}，“引用-计数”：39，“发布者”：“Elsevier BV”，“许可证”：[{“开始”：{:“日期-零件”：[2020,7,1]]，”“日期时间”：”2020-07-01T00:00:00 0Z“，”时间戳“：1593561600000}，”内容-版本“：“tdm”，“delay-in-days”：0，“URL”：“https:\/\/www.elsevier.com/tdm\/userlicense\/1.0\/”}]，“资助者”：[{“名称”：“冰岛研究基金”，“奖项”：[“196050-051”]}]，”content-domain“：{”domain“:[”elsevier.com“，”sciencedirect.com“]，”crossmark-restriction“：true}，”short-container-title“：[”Information Processing Letters“]，“publish ed-print“：{”日期-部分“：[[2020,7]]}，“DOI”：“10.1016\/j.ipl.2020.105947”，“type”：“journal-article”，“created”：{“date-parts”：[[2020,3,25]]，“date-time”：“2020-03-25T16:06:39Z”，“timestamp”：1585152399000}，“page”：”105947“，”update-policy“：”http://\/dx.DOI.org\/10.10016\/elsevier_cm_policy，“标题”：[“失去等价的袭击者：概率分支双相似性”]，“前缀”：“10.1016”，“卷”：“159-160”，“作者”：[{“给定”：“瓦伦蒂娜”，“家族”：“卡斯蒂格利奥尼”，“序列”：“第一”，“从属关系”：[]}，{“已知”：“西蒙”，“家庭”：“蒂尼”，插图2020.105947_br0010“，“doi-asserted-by”：“crossref”，“first page”：“58”，“doi”：“10.1016\/j.tcs.2011.07.020”，“article-title”：“概率系统的分支双模拟同余”，“volume”：”413“，”author“：”Andova“，”year“：”2012“，”journal-title“：”Theor.Comput.Sci.“}，{”key“：”10.1016//j.ipl.2020.105947_br0020“，”doi-assert-by“：”crossrref“，”首页“：”325“，”doi“：“10.1016\/j.tcs.2006.02.010”，“article-title”：“概率系统的分支互模拟：特征和可判定性”，“volume”：“356”，“author”：“Andova”，“year”：“2006”，“journal-title“：”Theor.Comput.Sci.“}，{“key”：”10.1016\/j.ipl.2020.105947_br0030“，“series-title”：”关于概率系统的算法验证方法“，”author“：“Baier”，“year”：“1998”}，{“key”：“10.1016\/j.ipl.2020.105947_br0040”，“series-title”：“CAV’97会议录”，“首页”：“119”，“article-title”：《全概率过程弱互模拟》，“volume”：《vol.1254》，“author”：“Baie”，“年份”：“1997”}参考“，”首页“：”141“，”doi“：“10.1016\/0020-0190（96）00034-8”，“article-title”：“分支双相似性确实是等价的！”，“volume”：“58”，“author”：“Basten”，“year”：“1996”，“journal-title“：”Inf.Process.Lett.“}，{“key”：”10.1016\/j.ipl.2020.105947_br0060“，”series-title“：“Proc。FMSPLE@ETAPS（预计到达时间）2015”，“首页”：“14”，“article-title”：“相干分支特征双向模拟”，“author”：“Belder”，“year”：“2015”}，{“key”：“10.1016\/j.ipl.2020.105947_br0070”，“doi-asserted-by”：“crossref”，“first page”：”313“，“doi”：“101016\/S0304-3975（03）00277-9”，“作者”：“Bergstra”，“年份”：“2003”，“期刊标题”：“Theor。计算。科学。“}，{”key“：”10.1016\/j.ipl.2020.105947_br0080“，”doi-asserted-by“：”crossref“，”first-page“：”355“，”doi“：”10.3233\/FI-2014-128“，”article-title“：”root branching bisimulation的规范格式“，”volume“：0.105947_br0090“，”doi-asserted-by“：”crossref“，”first page“：”147“，“DOI”：“10.1016\/j.tcs.2019.09.037”，“article-title”：“概率分界与同余：分支双相似性”，“volume”：“802”，“author”：“Castiglioni”，“year”：“2020”，“journal-title“：”Theor。计算。科学。“}，{”key“：”10.1016\/j.ipl.2020.105947_br0100“，”series-title“：”Proc.CONCUR'90“，”first page“：“152”，“article-title”：“往复双模拟”，“volume”：“vol.458”，“author”：“De Nicola”，“year”：“1990”}，“key”：8“，”doi“：”10.1145\/201019.201032“，”文章标题“：”分支互模拟的三个逻辑“，”volume“：”42“，”author“：”De Nicola“，”year“：”1995“，”journal-title“：”J.ACM“}，{“key”：“10.1016\/J.ipl.2020.105947_br0120”，“author”：“Deng”}，“key“：从逻辑上描述概率过程-（扩展抽象）“，”卷“：”卷6397“，”作者“：”邓“，”年“：”2010“}，{”关键“：”10.1016\/j.ipl.2020.105947_br0140“，”doi-asserted-by“：”crossref“，“doi”：“10.2168\/LMCS-4（4:4）2008”，“article-title”：“描述有限概率过程的测试前序”，“卷”：“4”，“作者”：“邓”，“年：“2008”，“新闻标题”：“日志”。计算方法。科学。“}，{”key“：”10.1016\/j.ipl.2020.105947_br0150“，”doi-asserted-by“：”crossref“，”first page“：“13”，“doi”：“10.1006\/jcss.1999.1663”，“article-title”：“同余根分支双模拟”，“volume”：“60”，“author”：“Fokkink”，“year”：“2000”，“journal-title“：”j.Compute.Syst.Sci.“}”，{“key”：”10.12016 \/j.ipl.2020.105947_br0160“，”doi-asserted-by“：”crossref“，”第一页“：”59“，”DOI“：”10.1016\/j.ic.2011.10.011“，”article-title“：”除法与同余：“从模态公式的分解到分支的保持和\u03b7-双相似性”，“volume”：“214”，“author”：“Fokkink”，“year”：“2012”，“journal-title”：“Inf.Comput”。“}，{”key“：”10.1016\/j.ipl.2020.105947_br0170“，”series-title“：”Proc.CONCUR'93“，”first page“：“66”，”article-title“：“线性时间分支时间谱II”，“author”：“van Glabbeek”，“year”：“1993”}，“key”：“10.1016\\j.ipl.2020.105947_br 0180”，“doi-asserted-by”：“crossref”，”first-page“：”59“，”doi“：”10.1006 \/inco.1995.1123“，”文章标题“：”概率过程的反应、生成和分层模型”，“卷”：“121”，“作者”：“van Glabeek”，“年份”：“1995”，“期刊标题”：“Inf.Compute”。“｝，｛”key“：”10.1016\/j.ipl.2020.105947_br0190“，”系列标题“：”IFIP Congress“，”首页“：”613“，”文章标题“：”交叉模拟语义中的分支时间和抽象（扩展抽象）“，”author“：”van-Grabbeek“，”year“：”1989“｝，｛”key“：”10.1016\/j.ipl.2020.105947_br0200“，”doi断言“：”crossref“，”首页“：”555“，”doi“：”10.1145\/233551.233556“，”article-title“：”双向模拟语义中的分支时间和抽象“，”volume“：”43“，”author“：”van Glabbeek“，”year“：”1996“，”journal-title”：“J.ACM”}，{“key”：“10.1016\/J.ipl.2020.105947_br0210”，“doi-asserted-by”：“crossref”，“first page”：”1“，”doi“：”10.1145\/3060140“，”article-title“：”An O（mlog u2061n）计算结巴等价性和分支互模拟的算法”，“卷”：“18”，“作者”：“Groote”，“年份”：“2017年”，“期刊标题”：“ACM Trans。计算。日志。“}，{”key“：”10.1016\/j.ipl.2020.105947_br0220“，”series-title“：”Proc.ICALP'90“，”first-page“：”626“，”article-title“：“分支双模拟和断续等价的有效算法”，“volume”：“vol.443”，“author”：“Groote”，“year”：“1990”}，“key”：”10.116\/j.ipl.2020.100947_br 0230“，”doi-asserted-by“：”crossref“，”first“第“：”512“，”doi“：”页10.1007\/BF01211866“，“文章标题”：“关于时间和可靠性的推理逻辑”，“卷”：“6”，“作者”：“汉森”，“年份”：“1994”，“期刊标题”：。计算。“}，{”key“：”10.1016\/j.ipl.2020.105947_br0240“，”series-title“：”Proc.RTS 1992“，”first page“：“92”，”article-title“：“实时系统规范和验证中的时间和概率”，“author”：“Hansson”，“year”：“1992”}，“key”：“10.1016\\j.ipl.2020.105947_br 0250”，“doi-asserted-by”：“crossref”，“first pages”：“749”，“doi”：“”10.1007\/s00165-012-0242-7“，“文章标题”：“探索概率双模拟，第一部分”，“卷”：“24”，“作者”：“轩尼诗”，“年份”：“2012”，“期刊标题”：”Form.Asp。计算。“}，{”key“：”10.1016\/j.ipl.2020.105947_br0260“，”doi-asserted-by“：”crossref“，”first page“：“221”，”doi“：”101006\/inco.1995.1041“，”article-title“：”定时系统的进程代数“，”volume“：0270“，“series-title”：“CONCUR’90会议记录”，“第一页“：”367“，”article-title“：”概率过程的等价、同余和完全公理化“，”volume“：”vol.458“，”author“：”Jou“，”year“：”1990“}，{“key”：“10.1016\/j.ipl.2020.105947_br0280”，”doi-asserted-by“：”crossref“，”first page“：“371”，”doi“：”10.1145\/360248.360251“，”article-tite“：”并行程序的正式验证”，“卷”：“19”，“作者”：“Keller”，“年份”：“1976”，“新闻标题”：“Commun”。ACM“}，{”key“：”10.1016\/j.ipl.2020.105947_br0290“，”series-title“：”Proc.QAPL 2015“，”first page“：“79”，“article-title”：“作为概率转移系统同余的有根分支互模拟”，“volume”：“vol.194”，“author”：“Lee”，“year”：“2015”}，“key”：”10.116\/j.ipl.2020.100947_br 0300“，”doi-asserted-by“：”crossref“，”第一页“：”977“，”doi“：”10.1137\/S0097539704446487“，”article-title“：”通过概率上下文观察分支结构“，”volume“：”37“，”author“：”Lynch“，”year“：”2007“，”journal-title”：“SIAM J.Compute。“}，{”key“：”10.1016\/j.ipl.2020.105947_br0310“，”article-title“：”通信系统微积分“，”volume“：“vol.92”，”author“：”Milner“，”year“：”1980“}”，{“key”：“10.1016\\j.ipl.2020.105947_br 0320”，“series-title”：“5th GI Conference”，“first page”：”167“，”article-title“：”无限序列的并发和自动机“，”vol.104“，”作者“：”Park“，”year“：”1981“}，{“key”：“10.1016\/j.ipl.2020.105947_br0330”，“series-title”：“Proc.CONCUR 2000”，“first page”：”334“，”article-title“：”概率系统弱双模拟“，”volume“：”vol.1877“，”author“：”Philippou“，”year“：“2000”}，“key“：随机分布式实时系统的建模与验证”，“author”：“Segala”，“year”：“1995”}，{“key”：“10.1016\/j.ipl.2020.105947_br0350”，“series-title”：“CONCUR’94会议录”，“first page”：”481“，”article-title“：”概率过程的概率模拟“，”volume“836”，“author“：”Segala“，”year“：”1994“}，”{“密钥”：“10.1016\/j.ipl.2020.105947_br0360“，”doi-asserted-by“：”crossref“，”first page“：”193“，“doi”：“10.1016\/j.tcs.2016.01.017”，“article-title”：“马尔可夫自动机的融合减少”，“volume”：“655”，“author”：“Timmer”，“year”：“2016”，“journal-title“：”Theor。计算。科学。“}，{”key“：”10.1016\/j.ipl.2020.105947_br0370“，”series-title“：”Proc.QFM 2009“，”first page“：“55”，”article-title“：“转移系统和马尔可夫报酬链的强、弱和分支互模拟：统一矩阵方法”，“volume”：“vol.13”，“author”：“Trcka”，“year”：“2009”}，“key”：crossref“，”first page“：”134“，“DOI”：“10.1016\/j.ic.2015.07.004”，“article-title”：“概率自动机多项式时间决策算法”，“volume”：“244”，“author”：“Turrini”，“year”：“2015”，“journal-title“：”Inf.Comput。“}，{”key“：”10.1016\/j.ipl.2020.105947_br0390“，”series-title“：”Proc.DSN 2018“，”first page“：“267”，”article-title“：“分支互模拟和并发对象验证”，“author”：“Yang”，“year”：“2018”}]，“container-title”：[“Information Processing Letters”]，“original-title”:[]，“language”：“en”，“link”：[{“URL”：“”https:\/\/api.elsevier.com/content\/article\/PII:S002001902030034X？httpAccept=text\/xml“，”content-type“：”text\/.xml“，”content-version“：”vor“，”intended-application“：”text-mining“}，{“URL”：“https:\/\/api.elsevier.com\/content\/article\/PII:S002001902030034X？httpAccept_text\/plain“，”内容类型“：”文本\/plaine“，”content-version[2020,7,7]]，“date-time“：”2020-07-07T20:10:15Z“，”timestamp“：1594152615000}，”score“：1，”resource“：{主要”：{“URL”：“https:\/\/linkinghub.elsevier.com/retrieve\/pii\/S002001902030034X”}}，“副标题”：[]，“短标题”：[]，“已发布”：{“日期部分”：[[2020,7]]}，《参考计数》：39，“alternative-id”：[“S002001902050”0034X“]，”URL“：”http:\/\/dx.doi.org\/10.1016\/j.ipl.2020.105947“，”关系“：{}，”ISSN“：[”0020-0190“]，”ISSN-type“：[{”value“：”0020-01-90“，”type“:”print“}]，”主题“：[]，”published“：{”date-parts“：[2020,7]}，“assertion”:[{“value”：“Elsevier”，“name”：“publisher”，“label”：“此文章由”}维护，{值“：”失去等价性的袭击者：概率分支双相似性“，”name“：”articletitle“，”label“：”Article Title“}，”{“value”：“Information Processing Letters”，“name”：“journaltitle”，“label”：“Journal Title”}，{“value”：“https:\/\/doi.org\/10.1016\/j.ipl.2020.105947”，“name”：“articlelink”，“标签”：“CrossRef doi link to publisher mainted version”}、{“value“：”article“，”name“：”content_type“，”label“：”content-type“}，{“value”：“\u00a9 2020 Elsevier B.V.保留所有权利。”，“name”：“copyright”，“label”：“copyright“}]，”article-number“：“105947”}}