{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{-“日期-部件”：[[2022,12,29]]，“日期-时间”：“2022-12-29T07:29:08Z”，“时间戳”：1672298948644}，“引用-计数”：11，“发布者”：“爱思唯尔BV”，“问题”：“1-2”，“许可证”：[{“开始”:{“日期-零件”：[[1985,7,1]]，”日期-时间“：“1985-07-01T00:00:00Z”，“时间戳”：489024000000}，“content-version”：“tdm”，“delay-in-days”：0，“URL”：“https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/”}，{“start”：{“date-parts”：[[2013,7,18]]，“date-time”：“2013-07-18T00:00:00Z”，“timestamp”：1374105600000}，“content-version”：“vor”，“delay-in-days”：10244，“URL“https:\\/www.else vier.com.\/open-access\/userlicense\/1.0\/“}]，”内容域“：{”域“：[]，“crossmark-restriction”：false}，“short-container-title”：[“Information and Control”]，“published-print”：{“date-parts”：[[1985,7]]}，”DOI“：”10.1016\/s0019-9958（85）80009-7“，”type“：”journal-article“，”created“：{”date-part“：[[2005,6]]，”date-time“：”2005-05-06T20:43:56Z“，”timestamp“：1115412236000}“page”：“6-28”，“source“：”Crossref“，”is-referenced-by-count“：8，“title”：[“On the relationships between Scott domains，synchronization trees，and metric spaces”]，“prefix”：“10.1016”，“volume”：“66”，“author”：[{“gived”：“William C.”，“family”：“Rounds”，“sequence”：“first”，“affiliation”：[]}]，“member”：“78”，“reference”：[}“key”：”10.1016\/S0019-9958（85）80009-7_bib1“，”series-title“：”Proc.10th Int。Colloq.on Automata，Languages，and Programming”，“first page”：“39”，“article-title”：“使用merge递归的线性时间和分支时间语义”，“author”：“de Bakker”，“year”：“1983”}，{“issue”：“Nos.1\/2”，“key”：”10.1016\/S0019-9958（85）80009-7_bib2“，”doi-asserted-by“：”crossref“，“first-page”：“70”，“doi”：“10.1016\/S0019-9968（82）91250-5“，”article-title“：”并发的指称语义“，”volume“：”54“，”author“：”de-Bakker“，”year“：”1982“，”journal-title”：“Inform。和Control“}，{“issue”：“No.3”，“key”：“10.1016\/S0019-9958（85）80009-7_bib3”，“doi-asserted-by”：“crossref”，“first page”：《第一页》：“560”，“doi”：“101145\/828.83”，“article-title”：“通信顺序过程的理论”，“volume”：10.1016\/S0019-9958（85）80009-7_bib4“，”article-title“：“过程代数中的不动点语义”，“author”：“Bergstra”，“year”：“1982”}，{“key”：“10.1016\/S0019-9958（85）80009-7_bib5”，“series-title”：“Proc.10th Int.Colloq.on Automata，Languages，and Programming”，“article-title”：”编程逻辑诱导的行为等价关系“，”author“：”Brookes“，”year“：”198310.1016\/S0019-9958（85）80009-7_bib6“，”doi-asserted-by“：”crossref“，”first page“：”95“，”doi“：”10.1016\/0304-3975（83）90059-2“，”article-title“：”infinite trees“的基本属性”，“volume”：“25”，“author”：“Courcelle”，“year”：“1983”，“journal-title”：“Theoret”。计算。科学。“}，{”issue“：”2\/3“，”key“：”10.1016\/S0019-9958（85）80009-7_bib7“，”doi-asserted-by“：”crossref“，”first-page“：”102“，”doi“：”101016\/S0019-9959（83）80039-4“，”article-title“：”两种并发理论之间的联系：度量空间和同步树“，”volume“：}，{“键”：“10.1016/S0019-9958（85）80009-7_b8“，”系列标题“：”过程。第七届国际合作自动化，语言与编程》，“文章标题”：“关于观察不确定性和并发性”，“作者”：“轩尼诗”，“年份”：“1980”}，{“键”：“10.1016\/S0019-9958（85）80009-7_bib9”，“卷”：“卷1”，“作家”：“库拉托夫斯基”，“年”：“1966”}通信系统微积分》，“卷”：“卷92”，“作者”：“Milner”，“年份”：“1980”}，{“键”：“10.1016\/S0019-9958（85）80009-7_bib11”，“系列-标题”：“自动化、语言和程序设计第九国际学院学报”，“文章-标题”，“指称语义领域”，“作家”：“Scott”，“年”：“1982”}”，“容器-标题”:[“信息和控制”]，“original-title“：[]，”language“：”en“，”link“：[{”URL“：”https:\/\/api.elsevier.com/content\/article\/PII:S0019995885800097？httpAccept=text\/xml“，”content-type“：”text\/xml“，”content-version“：”vor“，”intended-application“：”text-mining“}，{”URL:“https:\//api.elsevier.com/content\/aarticle\-PII:S001 99958858000 097？httpAccept=text\/plain“，”content-type“：”text \/plain“，”content-version“：”vor“，”intended-application“：”text-mining“}]，”deposed“：{”date-parts“：[[2019,1,26]]，”date-time“：”2019-01-26T17:54:38Z“，”timestamp“：1548525278000}，”score“：1，”resource“：”{“primary”：{“URL”：“https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S0019995885800097”}}，“副标题”：[]，“短标题”：[]date-parts“：[[1985,7]]}，”references-count“：11，”journal-issue“：{”issue“：”1-2“，”published-print“：{”date-part“：[[1985,7]]}}，“alternative-id”：[“S0019995885800097”]，“URL”：“http://\/dx.doi.org\/101016\/s0019-9958（85）80009-7”，“relationship”：{}，（ISSN）：[“0019-9958]，”ISSN-类型“：[{”值“：”0019-9958“，”类型“：”打印“}]，”主题“：[]，”发布“：{”日期部分“：[[1985,7]}}}