{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{-“日期-部件”：[[2023,1,8]]，“日期-时间”：“2023-01-08T19:29:59Z”，“时间戳”：1673206199701}，“引用-计数”：32，“发布者”：“爱思唯尔BV”，“问题”：“5”，“许可证”：[{“开始”：{/“日期-零件”：[2008,5,1]]，”日期-时间“：”2008-05-01T00:00:00Z“，“时间戳”：1209600000000}，“content-version”：“tdm”，“delay-in-days”：0，“URL”：“https:\/\/www.elsevier.com//tdm\/userlicense\/1.0\/”}，{“start”：{“date-parts”：[[2013,8,22]]，“date-time”：“2013-08-22T00:00Z”，“timestamp”：1377129600000}，“content-version”：“vor”，“delay-in-days”：1939开放访问\/userlicense\/1.0\/“}]，”内容域“：{”域“：[]，“crossmark-restriction”：false}，“short-container-title”：[“Information and Calculation”]，“published-print”：{“date-parts”：[[2008,5]]}，”DOI“：”10.1016\/j.ic.2008.01.001“，”type“：”journal-article“，”created“：{”date-part“：[[2008，2，9]]，”date-time“：”2008-02-09T12:42:33Z“，”timestamp“：1202560953000}”，“page”：“620-651”，“source”“：”Crossref“，“is-referenced-by-count”：19，“title”：[“通过抽象解释泛化Paige\u2013Tarjan算法”]，“prefix”：“10.1016”，“volume”：“206”，“author”：[{“given”：”Francesco“，“family”：“Ranzato”，“sequence”：“first”，“affiliation”：[]}，{“fixed”：“Francesco”，“faily”：”Tapparo“，”sequence“：”additional“，“afliation”:[]}]，“member”：“78”，“reference”：[{“issue”：“3”，“key”：“10.1016\/j.ic.2008.01.01_bib1”，“doi-asserted-by”：“crossref”，“first page”：《189》，“doi”：“101016\/0167-6423（95）00003-B”，《article-title》：“现成模拟问题新有效解决方案的转换设计与实现”，“volume”：”24“author”：“Bloom”，“year”：“1995”，“journal-title”：“Sci.Comp.Program”}，{“key”：“10.1016\/j.ic.2008.01.001_bib2”，“doi-asserted-by”：“crossref”，“首页”：“115”，“doi”：“101016\/0304-3975（88）90098-9”，《文章标题》：“表征命题时间逻辑中的有限Kripke结构”，“卷”：“59”，“作者”：“Browne”，“年份”：“1988”，“期刊标题”：“Theor.Comp.Sci.”}，{《问题》：“2”，键“：“10.1016\/j.ic.2008.01.01_bib3”，“doi-asserted-by”：“crossref”，“first page”：“181”，”doi“：”10.1145\/635499.635502“，”article-title“：”Simulation-based minimization“，”volume“：”4“，”author“：”Bustan“，”year“2003”，“journal-title”：“ACM Trans.Comput.Logic”}，{“key”：”10.1016\/j.ic.2008.01_bib“，”series-title“：”模型检查“，”作者“：”克拉克“，”年份“：“1999”}，{“key”：“10.1016\/j.ic.2008.01.01_bib5”，“doi-asserted-by”：“crossref”，“unstructured”：“P.Cousot，R.Cousot:抽象解释：通过构造或近似不动点对程序进行静态分析的统一格点模型，见：第四届ACM POPL会议录，ACM出版社，1977年，第238\u2013252页。”，“doi”：“101145\/512950.512973”}，{“key”：“10.1016\/j.ic.2008.01.01_bib6”，“doi-asserted-by”：“crossref”，“unstructured”：“P.Cousot，R.Cousot，程序分析框架的系统设计，收录于：第六届ACM POPL会议录，ACM出版社，1979年，第269\u2013 282页。”，“doi”：“101145\/567752.5677778”}，{“key”：。Dams，模型检验的抽象解释和划分精化，Eindhoven大学博士论文，1996年。“}，{”issue“：”2“，”key“：”10.1016\/j.ic.2008.01.01_bib8“，”doi-asserted-by“：”crossref“，”first page“：“458”，”doi“：“10.1145\/201019.201032”，”article-tile“：分支双模拟的三个逻辑”，“volume”：“42”，“author”：“De Nicola”，“year”：“”1995年“，”journal-title“：”J.ACM“}，{“issue”：“1”，“key”：“10.1016\/J.ic.2008.01.001_bib9”，“first page”：”45“，“article-title”：“计算双模拟等价性的有效算法”，“volume”:“325”，“author”：“Dovier”，“year”：“2004”，“journal-title”:“Theor.Comput.Sci.”}_bib10“，”doi-asserted-by“：”crossref”，“首页”：“333”，“DOI”：“10.1145\/23528.234742”，“文章标题”：“抽象领域设计的统一观点”，“卷”：“28”，“作者”：“Fil\u00e9”，“年份”：“1996”，“期刊标题”：“ACM Comput。Surv公司。“}，{”issue“：”1“，”key“：”10.1016\/j.ic.2008.01.01_bib11“，”doi-asserted-by“：”crossref“，”first-page“：”73“，”doi“：”101023\/A:1027328830731“，”article-title“：”From bisimulation to simulation:crosst partition problems“，”volume“：“31”，“author”：“Gentilini”，“year”：“2003”，“journal-title”：“j.Autom.Reason.”}，10.1016\/j.ic.2008.01.01_bib12“，”非结构化”：“R.Giacobazzi，E.Quintarelli，抽象模型检查中的不完整性、反例和改进，见：《第八届SAS会议录》，LNCS第2126卷，2001年，Springer，第356\u2013373页。”}，{“key”：“10.1016\/j.ic.2008.01_bib13”，“非结构化”。Ranzato，精炼和压缩抽象域，摘自：《第24届ICALP会议录》，LNCS，第1256卷，1997年，Springer，第771\u2013781页author“：”Giacobazzi“，”year“：”2000“，”journal-title“：”J.ACM“}，{“key”：“10.1016\/J.ic.2008.01.01_bib15”，“series-title”：“过程代数手册”，“首页”：“3”，“文章-标题”：“线性时间分支时间谱I：具体顺序过程的语义”，“author”：“van Glabbeek”，“year”：“2001”}，“key“：”10.1016\/j.ic.2008.01.01_bib16“，”series-title“：”Information Processing\u201989“，”first page“：”613“，”article-title“：“互模拟语义中的分支时间和抽象”，”author“：”van Glabbeek“，”year“：”1989“}，{“key”：“10.1016\/j.ic.2008.01.001_bb17”，“doi-asserted-by”：“crossref”，“unstructured”：“j.F.Groote，F。Vaandrager，分支互模拟和结巴等价的一种有效算法，收录于：《第17届ICALP会议录》，LNCS，第443卷，Springer，1990年，第626\u2013638页。“，”DOI“：”10.1007\/BFb0032063“}，{“issue”：“2”，“key”：“10.1016\/j.ic.2008.01_bib18”，“DOI-asserted-by”：“crossref”，“first-page”：“147”，”DOI:“10.1142\/S01290054199000125”，“文章标题“：“分区细化技术：一个有趣的算法工具包”，“卷”：“10”，“作者”：“Habib”，“年份”：“1999”，“期刊标题”：“Int.J.Found。计算。科学。“}，{”issue“：”1“，”key“：”10.1016\/j.ic.2008.01.01_bib19“，”doi-asserted-by“：”crossref“，”first page“：“137”，“doi”：“10.1145\/2455.2460”，”article-title“：”不确定性和并发性的代数定律“，”volume“:”32“，”author“：”Hennessy“，”year“：”1985“，”journal title“：c.2008.01.01_bib20“，“非结构化”：“M.R.Henzinger，T.A。Henzinger，P.W.Kopke，有限和无限图的计算模拟，收录于：《第36届FOCS会议录》，IEEE出版社，1995年，第453\u2013462页卷：“6”，“作者”：“亨廷格”，“年份”：“2005年”，“新闻标题”：“ACM Trans。计算。逻辑“}，{“key”：“10.1016\/j.ic.2008.01.01_bib22”，“series-title”：“机器和计算理论”，“首页”：“189”，“文章-标题”：“有限自动机中最小化状态的nlogn算法”，“作者”：“Hopcroft”，“年份”：“1971”}，}“密钥”：“101016\/j.ic.2007.01_bib23”，“非结构化”：“a.Kucera，R。Mayr，为什么模拟比互模拟难？摘自：《第13届CONCUR会议录》，LNCS，第2421卷，斯普林格出版社，2002年，第594\u2013610页。标题“：”通信系统微积分，LNCS，第92卷，“作者”：“Milner”，“年份”：“1980”}，{“问题”：“6”，“密钥”：“10.1016\/j.ic.2008.01.001_bib26”，“doi-asserted-by”：“crossref”，“首页”：“973”，“doi”：“101137\/0216062”，“article-title”：“三分区优化算法”：“SIAM j.计算”}，{“key“：”10.1016\/j.ic.2008.01.01_bib27“，”unstructured“：”F.Ranzato，F.Tapparo，in：用于强保存的基于抽象解释的细化算法，in：第十一届系统构造和分析工具和算法国际会议论文集（TACAS\u201905），LNCS，第3440卷，Springer，2005，第140\u2013156页。“}，{”issue“：”1“，”key“：”10.1016\/j.ic.2008.01.001_bib28“，”doi-asserted-by“：”crossref“，”first page“：“157”，”doi“：”101093\/logcom\/exl035“，”article-title“：”通过抽象解释的广义强保存“，”volume“:”17“，”author“：”Ranzato“，”year“：”2007“，”journal-title”：“j.Logic Comput.”}，“key”：“10.1016\/j.ic.2008.01.01_bib29“，”doi-asserted-by“：”crossref“，”unstructured“：”F.Ranzato，F.Tapparo，一种新的高效模拟等价算法，摘自：《第22届IEEE计算机科学中的逻辑研讨会论文集》（LICS\u201907），IEEE出版社，2007年，第171\u2013180页。“，”doi“：”10.1109\/LICS.2007.8“}，{”key“：”101016\/j.ic.2008.01.001_bib30“，”非结构化”：“L.Tan，R.Cleaveland，Simulation reviewed，in：Proceedings of the 7th International Conference on Tools and Algorithms for the Construction and Analysis of Systems（TACAS\u201901），LNCS，vol.203112001，Springer，pp.480\u2013495.”}，｛“key”：“10.1016\/j.ic.2008.01.001_bib31”，“doi asserted by”：“crossref”，“非结构化”：“R.E。Tarjan，深度第一搜索和线性图算法，载于：SIAM J.Compute。1（2）（1972）146\u2013160.“，”DOI“：”10.1137\/021010“}，{“key”：“10.1016\/j.ic.2008.01.01_bib32”，“unstructured”：“VLTS Benchmark Suite.超大型过渡系统集合，可从以下网址获得：http://www.inrialpes.fr\/vasy\/cadp\/resources\/Benchmark_bcg.html.”}]，“container-title”：[“Information and Calculation”]，“original title”：[]，“language“：”en“，”link“：[{”URL“：”https:\/\/api.elsevier.com/content\/article\/PII:S0890540108000035？httpAccept=text\/xml“，”content-type“：”text\/xml“，”content-version“：”vor“，”intended-application“：”text-mining“}，{”URL:“https:\//api.elsevier.com/content\/aarticle\/PII:S0800540108000035吗？httpAccess=text\/plain”，“content-t”type“：”text\/plain“，”content-version“：”vor“，”intended-application“：”text-mining“}]，”deposed“：“：[]，”已发布“：{”日期部分“：[[2008,5]]}，”references-count“：32，”journal-issue“：{”issue“：“5”，“published-print”：{“date-parts”：[[2008,5]]}}，“alternative-id”：[“S0890540108000035”]，“URL”：“http://\/dx.doi.org\/10.1016\/j.ic.2008.01.001”，“relationship”：{}，”ISSN“：[”0890-5401“]，”ISSN-type“：[{”value“：”0890-5 401“，”type“”：“print”}]，“subject”：[]，“published”：{“date-parts”：[[2008,5]]}}}