{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{-“日期部分”：[[2024,9,8]]，“日期时间”：“2024-09-08T10:21:29Z”，“时间戳”：1725790889741}，“引用计数”：29，“发布者”：“IEEE Compute.Sco.Press”，“内容域”:{“域”：[]，“交叉标记限制”：false}，”short-container-title“：[]，“内政部”：“10.1109\/lics.1991.151662”，“type”：“procesedings-article”，“created”：{“date-parts”：[2002,12,10]]，“date-time”：“2002-12-10T14:53:10Z”，“timestamp”：1039531990000}，“page”：”387-398“，“source”：：“Crossref”，“is-referenced-by-count”：28，“title”：[“On the relationship algebration and input\/output automata”]，“prefix”：”10.1109“，“volume”:“372“，”作者“：[{“given”：“F.W.”，“family”：“Vaandrager”，“sequence”：“first”，“affiliation”：[]}]，“member”：“263”，“reference”：[{key：“ref13a”，“first page”：”423“，”article-title“：”结构化操作语义和互模拟为同余（扩展抽象）“，”volume“：”372“，”author“：”groote“，”year“1989”，“journal-title”：“Proceedings 16 ICALP”}，{“journal”标题“：“信息与计算”，“年份”：“0”，“key”：“ref13b”}，{“journal-title”：“通信过程的测试等价性和完全抽象模型”“内政部”：“10.1016\/B978-044482830-9\/50019-9”}，{“journal-title”：“过程的代数理论”，“year”：“1988”，“author”：“hennessy”，“key”：“ref14”}01“}，{”新闻标题“：“分布式系统的组合验证”，“年份”：“1987”，“作者”：“jonsson”，“key”：“ref17”}，{“key“：“ref18”，“doi-asserted-by”：“publisher”，“doi”：“10.1016\/0890-5401（89）90066-7”}、{“密钥”：“ref19”、“doi-sserted-by“：”publisher“，”doi“：”10.1145\/41840.41852“publisher”，“doi”：“10.1137\/0217073”}，{“year”：“0”，“key”：“ref27”}，{“key”：“ref3”，“first-page”：“77”，“article-title”：“没有混乱的失败：公平抽象的新过程语义”，“author”：“bergstra”，“year”：“1986”，“journal-title“：“编程概念的形式化描述-第三届IFIP WG 2工作会议论文集”}：“10.1145\/73560.73580”}，{“journal-title”：“存在隐藏移动时的强进程等价性”，“year”：“1990”，“author”：“bloom”，“key”：“ref5”}、{“日记标题”：“分布式系统规范理论基础”，“年份”：“1984”，“作者”：“stark”，“密钥”：“ref26a”}}，{“journal-title”：“Technical Report”，“year”：“0”，“key”：“ref26b”}，{”journal-title“：“Bisimulation cannot be tracked”，“年份”：“1990年”，“作者”：“bloom”，“密钥”：“ref7”}“：”10.1007\/BF00271640“}，{”key“：”ref1“，”doi-asserted-by“：“publisher”，“DOI”：“10.1007\/BF01872848”}，{“key”：“ref20”，“first-page”：“219”，“article-title”：“input\/output automata简介”，“volume”：”2“，”author“：”lynch“，”year“：”1989“，”journal-title“：”CWI Quarterly“}，”{“journal-title”“：”进程代数中的公平性-在通信协议验证中的应用”，“year”：“1985”，“author”：“parrow”，“key”：“ref22”}，｛“journal title”：“Communication and Concurrency”，“year”：“1989”，“author”：“milner”，“key”：“ref21”}，｛“key”：“ref24”，“first page”：“199”，“article title”：“CSP的操作语义”，“author”：“plotkin”，“year”：“1983”，“journal title”：“Proceedings IFIP TC2 Working Conference on Formal Description of Programming Concepts-II”}，{“key”：“ref23”，“doi-asserted-by”：“publisher”，“doi”：“10.1007\/3-540-51285-3_54”}、{“journal-title”：“Calculabilit\uffd et Expressivit\uffd dans l'Algebra de Processus Parall\uffdles Meije”、“year”：“1984”、“author”：“de simone”、“key“：”“ref25”}]、“event”：{“name”：“第六届IEEE计算机科学逻辑年会”，“地点”：“荷兰阿姆斯特丹”}，“容器-时间”：[“[1991]第六届计算机科学逻辑年度IEEE研讨会论文集”]，“原始标题”：[]，“链接”：[{“URL”：“http://\/xplorestaging.IEEE.org\/ielx2\/360\/3979\/00151662.pdf？arnumber=151662”，“内容-类型”：“未指定”，“content-version”：“vor”，“intended-application”：“similarity-checking”}]，“deposed”：{“date-parts”：[[2017,3,9]]，“date-time”：“2017-03-09T06:11:28Z”，“timestamp”：1489039888000}，“score”：1，“resource”：{“primary”：{URL:“http://ieeexplore.iee.org\/document\/151662\/”}，”字幕“[]，“shorttitle”：[]，“已发布”：{“date-parts”：[[null]]}，“references-count”：29，“URL”：“http://\/dx.doi.org\/10.109\/lics.1991.151662”，“关系”：{}，“主题”：[]}}