{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{-“日期-部件”：[[2024,8,22]]，“日期-时间”：“2024-08-22T13:26:13Z”，“时间戳”：1724333173105}，“参考-计数”：44，“出版商”：“剑桥大学出版社（CUP）”，“问题”：“7”，“许可证”：[{“开始”：{-date-parts“：[[2015,12,9]]，”日期-时间“：“2015-12-09T00:00:00Z”，“时间戳”用法：1449619200000}，“content-version”：“unspecified”，“delay-in-days”：0，“URL”：“https:\/\/www.cambridge.org\/core\/terms”}]，“content-domain”：{“domain”:[]，“crossmark-restriction”：false}，”short-container-title“：[”Math.Struct.Comp.Sci.“]，”published-print“：{”date-parts“：[2017,10]}”，“abstract”：“”我们对余代数的互模拟up-to技术进行了系统研究。这增强了一大类基于状态的系统的互模拟证明方法，包括标记转换系统以及流系统和加权自动机。我们的方法允许对增强的可靠性进行合成推理。应用包括互模拟的稳健性到互相似性、等价性和同余性。总之，这为简化的等价共推证明提供了一个强大的模块化框架<\/jats:p>“，”DOI“：”10.1017\/s096012951500523“，”type“：”journal-article“，”created“：{”date-parts“：[[2015,12,9]]，”date-time“：”2015-12-09T17:24:53Z“，”timestamp“：1449681893000}，”page“：“1236-1264”，“source”：“Crossref”，“is-referenced-by-count”：8，“title”：[“Enhanced coalebraic bisimulation”]，“prefix”：“10.1017”，“volume”：“27”，“作者”：[{“给定”：“JURRIAAN”，“家族“：”ROT“，”sequence“：”first“，”affiliation“：[]}，{”given“：”FILIPPO“，”family“：”BONCHI“，”序列“：”additional“，”abfiliation”：[]{“given”：”MARCELLO“，“family”：“BONSANGUE”，“sequence”：“additional”，“affiliance”：[]}，}“giving”：“DAMIEN”，“faily”：”POUS“，”sequence“:”additionable“，“afliation”:[]}.，{“给定”：“”JAN“，”family“：”RUTTEN“，”sequence“：”additional“，”affiliation“：[]}，{“given”：“ALEXANDRA”，“family”：“SILVA”，“sequence”：“additional”，“affiliation:[]}]，“member”：“56”，“published-online”：{“date-parts”：[[2015,12,9]]}、“reference”：[{“key”：”S0960129515000523_ref28“，”doi-asserted-by“：”publisher“，”doi“：”10.1016\/0304-3975（83）90114-7“}，“key“：“S0960129515000523_ref38”，“doi-asserted-by”：“publisher”，“doi”：“10.1017\/S0960129598002527“}，{“key”：“S0960129515000523_ref23”，“首页”：“230”，“article-title”：“内函子、点内函子和共点内函函子、单子和余模数的分布性”，“volume”：”33“，“author”：“Lenisa”，“year”：“2000”，“journal-title“：”ENTCS“}”，{”key“：”S09012951500023_ref36“，”doi-asserted-by“：”publisher“，“doi”：“”10.1016\/S0304-3975（02）00895-2“}，{“key”：“S096019515000523_ref19”，“article-title”：“测试有限自动机等价性的线性算法”，“volume”：”114“，”author“：”Hopcroft“，”year“：”1971“，“journal-title“：”Technical Report“}”，{”key“：”S090129515000523_ref34“，”first page“：11“，”author“：”Rutten“，”year“：”1998“，”journal-title“：”ENTCS“}，{“key”：“S0960129515000523_ref29”，“doi-asserted-by”：“publisher”，“doi”：“10.1007\/BFb0017309”}，}“keys”：“SO960129515000523 _ref25”，“dio-asserted-by”：”publisher“，”doi“：”10.1016\/j.ENTCS.2006.007“}”，{”key“：”S09512951000523_ref25 f41“，”doi-asserted-by“：”crossref“，”first page“：”189“，“doi”：“10.3233\/FI-1980-3208“，”article-title“：”关系自动机的一般理论“，”volume“：”3“，”author“：”Trnkov\u00e1“，”year“：”1980“，”journal-title”：“Fundamental Informaticae”}，{“key”：“S0960129515000523_ref40”，”article-title:“相互模拟的相关联合概念”，“volume”：”7“，”author“”：“Staton”，“year”：“2011”，“journal-title”“：”LMCS}，{“键”：S0960129515000523_ref5“，”doi asserted by“：”publisher“，”doi“：”10.1007\/978-3-642-73235-5“｝，｛”key“：”S0960129515000523_ref12“，”volume title“：”正则代数和有限机“，”author“：”Conway“，”year“：”1971“｝，｛”key“：”S0960129515000523_ref24“，”doi asserted by“：”publisher“，”doi“：”10.1007\/978-3-642-19805-2_3“｝，｛”key“：”S0960129515000 523_参考文献11“，”第一页“：”184“，”volume-title“：”计算机科学讲义“，”author“：”Buchholz“，”year“：”2001“}，{“key”：“S0960129515000523_ref4”，“unstructured”：“Bartels F.（2004）.On Generalised Coinduction and Probabilistic Specification Formats.Ph.D.thesis，CWI，Amsterdam10.1016\/j.tcs.2011.03.023“}，{“key”：“S0960129515000523_ref15”，“volume-title”：“LUATCS 99”，“author”：“Gumm”，“year”：“1999”}，}“key:”S096019515000523_ref3“，“first page”：”529“，“article-title“：”无穷变种与代数理论之间的对偶性“，”volume“：”41“，”author“：”Ad\u00e1mek“，”year“：”2000“，”journal-title“：”Commentationes Mathematicae University atis Carolinae“}，{“key”：“S0960129515000523_ref32”，“doi-asserted-by”：“publisher”，“doi”：“10.1007\/978-3642-35843-2_32”}，“{“key”：“SO960129515000523 _ref39”，“volume-title”：“Bisimulation and Coinduction简介”，“author”：“Sangiorgi”，“year”：“2012”}首页“：”2“，”文章标题“：”从集合论共归纳到代数共归纳：一些结果，一些问题“，“卷”：“19”，“作者”：“Lenisa”，“年份”：“1999”，“期刊标题”：“ENTCS”}，{“密钥”：“S0960129515000523_ref44”，“doi断言者”：“出版商”，“doi”：“10.1007\/978-3-642-17164-2_17”}，{“密钥”：“S0960129515000523_ref18”，“doi断言者”：“出版商”，“doi”：“10.1006\/inco.1998.2725“}，{“key”：“S0960129515000523_ref8”，“首页”：“20”，“volume-title”：“CSL-LICS 2014”，“author”：“Bonchi”，“year”：“2014”}，}“key:”S09K1295150000523_ref1“，”doi-asserted-by“：”publisher“，”doi“10.1016\/B978-044482830-9\/50021-7”}f26“，”首页“：”150“，”卷标“：”计算机科学课堂讲稿“，”volume“：”7399“，”author“：”Marti“，”year“：”2012“}，{“key”：“S0960129515000523_ref2”，“doi-asserted-by”：“publisher”，“doi”：“10.1007\/BFb0018361”}，}“key”：”S096012900523_rf30“，”doi-assert-by“：”publisher“，”doi“：”10.1007\/978-3-540-76637-7_24“}，“doi-asserted-by”：“publisher”，“doi”：“10.1007\/978-3642-40206-7_9”}，{“key”：“S0960129515000523_ref6“，“doi-asserted-by”：“publisher”，“doi”：“10.1145\/200836.200876”}，{“key”：“S096019515000523_ref16”，“doo-asserted-by”：”publisher“，”doi“：”10.1016\/S1571-0661（05）80346-9“}，”{“key”：”S09012951500023_ref42“，”doi-assert-by“：”crossref“，“unstructured”：“Turi D.and Plotkin G.（1997）朝向数学操作语义。在：LICS，IEEE Computer Society，280\u2013291.“，”DOI“：”10.1109\/LICS.1997.614955“}，{“key”：“S090129515000523_ref14”，“DOI-asserted-by”：“publisher”，“DOI”：“10.1007\/978-3642-40206-7_19”}，“key“：”S09019515000523_ref27“，”DOI-assert-by“：”publisher S0960129515000523_ref43“，”DOI-asserted-by“：”publisher“，”DOI“：”10.1007\/978-3-642-22944-2_25“}，{“key”：“S0960129515000523_ref37”，“doi-asserted-by”：“publisher”，“doi”：“10.1007\/978-1-4612-6264-0”}，}“keys”：“SO960129515000523 _ref17”，“dio-asserted-by”：”publisher“，”doi：“10.1016\/S1571-0661（04）80908-3”}：“233”，“卷时间”：双模拟和共创高级主题”，“作者”：“Pous”，“年份”：“2012”}，{“key”：“S0960129515000523_ref9”，“首页”：“457”，“卷标”：“POPL”，“作家”：“Bonchi”，“年”：“2013”}“S0960129515000523_ref33”，“doi-asserted-by”：“publisher”，“DOI“：”10.1007\/978-3642-37064-9_42“}，{”key“：”S096019515000523_ref13“，”首页“：”354“，”volume-title“：”LNCS“，”author“：”Endrullis“，”year“：”2013“}”，{“key”：129515000523_ref20“，”DOI-asserted-by“：”publisher“，”DOI“：”10.1007\/978-3-642-04164-8_7“｝”]，“容器标题”：[“计算机科学中的数学结构”]，“原始标题”：[]，“语言”：“en”，“链接”：[{“URL”：“https://www.cambridge.org/core\\/services\/aop cambridge-core\\content\/view\\S0960129515000523”，“内容类型”：“未指定”，“内容版本”：“vor”，“预期应用程序”：“相似性检查”｝]，“存放“：{“date-parts”：[[2022,5,28]]，“date-time”：“2022-05-28T20:25:54Z”，“timestamp”：1653769554000}，“score”：1，“resource”：{（主要）：{”URL“：”https:\/\/www.cambridge.org\/core\/product\/identifier\/S0960129515000523\/type\/journal_article“}}”，“subtitle”：[]，“shorttitle”：[]，“issued”：{“date-ports”：[2015,12,9]]}，“references-count”：44，“journal-issue”：{“issue“：”7“，”published-print“：{”date-parts“：[[2017,10]]}}，”alternative-id“：[”S09601129515000523“]，”URL“：”http://\/dx.doi.org\/10.1017\/s096012951500523“，”relation“：{}，“ISSN”：[”0960-1295“，”1469-8072“]，“ISSN-type”：[{“value”：“0960-1295'”，”type“print“}”，”value“：”1469-8072“，”type“：”electronic“}]，”subject“：[]，”published“：{”date-parts“：[[2015,12,9]]}}}