{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{-“日期部分”：[[2024,9,5]]，“日期时间”：“2024-09-05T18:55:09Z”，“时间戳”：1725562509381}，“引用计数”：14，“发布者”：“IEEE Compute.Sco.Press”，“内容域”:{“域”：[]，“交叉标记限制”：false}，”short-container-title“：[]，“内政部”：“10.1109\/lics.1991.151661”，“type”：“proceedings-article”，“created”：{“date-parts”：[2002,12,10]]，“date-time”：“2002-12-10T19:53:10Z”，“timestamp”：1039549990000}，“page”：”376-386“，“source”：《Crossref》，“is-referenced-by-count”：17，“title”：[“动作胜于文字：证明无上下文进程的双重相似性”]，“prefix”：”10.1109“，“volume”：351英寸，“author”：[{“given”：“H.”，“family”：“Huttel”，“sequence”：“first”，“affiliation”：[]}serted-by“：”publisher“，”doi“：”10.1016\/0022-0000（84）90023-0“}，{“journal-title”：“Communication and Concurrency”，“year”：“1989”，“author”：“milner”，“key”：“ref12”}，{”key“：“ref13”，“first-page”：“369”，“volume”：”351“，”author“：”stirling“，”year“：”1989“，”journal-title“：”模态mu-calculus中的局部模型检查“}：“van glabbeek”，“key”：“ref14”}，{“key“：“ref4”，“首页”：“50”，“卷”：“354”，”author“：”bergstra“，”year“：”1988“，”journal-title“：”Process theory based on bisimulation semantics“}，”{“key”：“ref3”，“doi-asserted-by”：“publisher”，”doi“：”10.1016\/S0019-9958（84）80025-X“}阿尔及利亚”，“年份”：“1988年”，“作者”：“caucal”，“key”：“ref6”}，{“key“：”ref5“，”first page“：“115”，“volume”：”458“，”author“：”bradfield“，”year“：”1990“，”journal-title“：”Verifying temporal properties“}，”jornal-title:“CAV91”，“article-title”：“Silence is golden:Branching bisimility is deterable for context-free process”，“year”：“1991”，“author”：“h\ufffdttel”，“key”：“Ref”8“}，{“key”：“ref7”，“doi-asserted-by”：“publisher”，“doi”：“10.1145\/2455.2460”}，{“journal-title”：“生成无上下文语言的进程的双向模拟等价性的决定”，“year”：“1987”，“author”：“baeten”，“key“：”ref2“}，}”key：“ref1”，“first-page”：“93”，“volume”：”259“，”author“：”baeten“，”year“：”1987“，”journal-title“：“生成无上下文语言的过程的互模拟等价性的决定”}，{“journal-title”：“关于决定过程的准备就绪和失败等价性”，“year”：“1990”，“author”：“huynh”，“key”：“ref9”}]，“event”：{“name”：“第六届IEEE计算机科学逻辑年会”，“location”：“Amsterdam，Netherlands”}：[“[1991]第六届IEEE计算机科学逻辑年会论文集”]，“original-title”：[]，“link”：[{“URL”：“http://\/xplorestaging.IEEE.org\/ielx2\/360\/3979\/00151661.pdf？arnumber=151661”，“content-type”：“unspecified”，“content-version”：“vor”，“intended-application”：“similarity-checking”}]，“deposed”：{“date-parts”：[2017,3,9]]，“date-time”：“2017-03-09T11:10:33Z”，“timestamp”：1489057833000}，“score”：1，“resource”：{“primary”：}“URL”：“http://\/ieexplore.iee.org\/document\/151661\/”}}，”subtitle“：[]，”shorttitle“：[]，”issued“：{”date-parts“：[[null]]}，'references-count“：14，”URL“：”http://\/dx.doi.org\/10.109\/lics.1991.151661“，”关系“：{}，”主题“：[]}}