{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{-“日期-部件”：[[2022,3,30]]，“日期-时间”：“2022-03-30T10:50:57Z”，“时间戳”：1648637457605}，“出版商位置”：“柏林，海德堡”，“参考-计数”：15，“出版者”：“斯普林格-柏林-海德堡（Springer Berlin Heidelberg）”，“isbn-type”：[{“值”：“9783540179450”，“类型”：“打印”}，{“值”：“9783540471813”，“type”：“electronic”}]，“content-domain”：{“domain”:[]，“crossmark-restriction”：false}，“short-container-title”：[]，”published-print“：{”date-parts“：[[1987]]}，”DOI“：”10.1007\/3-540-17945-3_16“，”type“：”book-capter“，”created“：”{“date-part”：[2012,25]]，“date-time”：“2012-02-25T19:20:24Z“，”时间戳“：1330197624000}，”页面“：”277-296“，”源“：“Crossref”，“is-referenced-by-count”：6，“title”：[“Parallel programming in Temporal Logic”]，“prefix”：“10.1007”，”author“：[{“given”：“Roger”，“family”：“Hale”，“sequence”：“first”，“affiliation”：[]}，{“fiven”:“Ben”，《family》：“Moszkowski”，“serquence”:“additional”，“abliation”:[]}]，“member”：“297”，“published-on-line”：{“date-parts”：[[2000 5,5,27]]}，“参考”用法：[{“issue”：“3”，“key”：“16_CR1”，“doi-asserted-by”：“publisher”，《first page》：“287”，“doi”：“10.1145\/2514.2516”，“volume”：”16“，“author”：“D.Bitton”，“year”：“1984”，“unstructured”：“D.Bitton，D.J.DeWitt，D.K.Hsiao，and J.Menon。并行排序的分类法。ACM Computing Surveys，16（3）：287\u2013318181984年9月。”，“journal-title”：“ACM Computing Surveys”}，{“issue”：“1”，“key”：“16_CR2”，“doi-asserted-by”：“publisher”，“first page”：”1“，“doi”：“10.1145\/5001.5390”，“volume”：《8》，“author”：“K.L.Clark”，《year》：“1986”，“unstructured”：“K.L.Clark and S.Gregory。Parlog:逻辑并行编程。《ACM编程语言与系统学报》，8（1）：1\u2013491986年1月。”，“journal-title”：“ACM Transactions on Programming Languages and Systems”}，{“issue”：“4”，“key”：“16_CR3”，“doi-asserted-by”：“crossref”，“first-pages”：“391”，“doi”：“10.1109\/TSE.1982.235573”，《卷》：“8”，“author”：“E.J.H.Chang”，“year”：“1982”，“unstructured”：“E.J.H。青稞酒。回声算法：一般图形上的深度第一并行操作。IEEE软件工程汇刊，8（4）：391\u20134011982年7月。”，“期刊标题”：“IEEE软件工程汇刊”，｛“密钥”：“16_CR4”，“卷标题”：“Prolog中的编程”，“作者”：“W.F.Clocksin”，“年份”：“1981”，“非结构化”：“W.F.Clocksin和C.S.Mellish.Prolog中的编程。Springer Verlag，Berlin，1981。”，｛“问题”：“4”key“：”16_CR5“，”doi-asserted-by“：”crossref“，”first-page“：”293“，”doi“：”10.1093\/comjnl\/26.4.293“，”volume“：“26”，”author“：”M.C.Er“，“year”：“1983”，“unstructured”：“M.C.Er.拓扑排序的并行计算方法。《计算机杂志》，26（4）：293\u20132952083年4月。“，”Journal-title“：”Computer Journal“}，{”key“：”16_CR6“，”doi-asserted-by“：”crossref“，”unstructured“：”M.Fujita、S.Kono、H.Tanaka和T。Moto oka。Tokio：基于时序逻辑的逻辑编程语言，并将其编译为prolog。第三届逻辑程序设计国际会议论文集，伦敦，1986年7月。”，“DOI”：“10.1007\/3-540-16492-8_119”}，{“key”：“16_CR7”，“series-title”：“技术报告”，“volume-title”：《HOL：高阶逻辑的证明生成系统》，“author”：“M.J.C.Gordon”，“year”：“1987”，“unstructured”：“M J.C。戈登。HOL：高阶逻辑的证明生成系统。《技术报告103》，英国剑桥大学计算机实验室，1987年。“}，{“key”：“16_CR8”，“volume-title”：“时态逻辑及其应用”，“author”：“R.W.S.S.Hale”，“year”：“1987”，“unstructured”：“R W.S Hale。时态逻辑编程。In A.Galton，主编，时态逻辑及应用，学术出版社，伦敦，1987。（准备中）。“}，{”key“：”16_CR9“，”volume-title“：”函数编程：应用与实现“，”author“：”P.Henderson“，”year“：”1980“，”unstructured“：”P.Henderson.函数编程：应用与实现。Prentice-Hall International，London，1980。“}。Hoare，“年份”：“1985年”，“非结构化”：“C.A.R.Hoare。通信顺序过程。普伦蒂斯·霍尔，伦敦，1985年。“}，{”key“：”16_CR11“，”unstructured“：”B.C.Moszkowski。关于数字电路的推理。斯坦福大学计算机科学系博士论文，1983年。莫斯科夫斯基。超过时间逻辑程序。剑桥大学出版社，英国剑桥，1986年。“}，{”key“：”16_CR13“，”doi-asserted-by“：”publisher“，”first page“：“45”，”doi“：”10.1016\/0304-3975（81）90110-9“，“volume”：“13”，“author”：“A.Pnueli”，“year”：“1981”，“unstructured”：“A.Pnueli.并发程序的时间语义。理论计算机科学，13:45\u2013601981。”，“”journal-title“：“理论计算机科学”}，{“key”：“16_CR14”，“doi-asserted-by”：“crossref”，“unstructured”：“E.Y.Shapiro。Sysytems programming in concurrent prolog.in Proceedings of the 11th Annual ACM Symposition on Principles on programming Languages，Salt Lake City，USA，Janumber 1984。”，“doi”：“10.1145\/800017.800520”}”，{”key“：“16-CR15”，“卷标题“：《1983年国际知识产权联合会会议记录》，“作者”：“C.Tang”，“年份”：“1983年”，“非结构化”：“C.Tang”。为编程语言建立统一的逻辑基础。1983年，阿姆斯特丹北霍兰德，1983年，《1983年IFIP大会论文集》。“}”，“container-title”：[“计算机科学课堂讲稿”，“欧洲PARLE并行体系结构和语言”]，“original-title“：[]，“link”：[{“URL”：“http://\link.springer.com/content\/pdf\/10007\/3-540-17945-3_16.pdf”，“content-type”：“unspecified”，“content-version”：“vor”，“intended-application“：”相似性检查“}]，”存放“：{”日期-部分“：[[2020,11,17]]，”日期-时间“：”2020-11-17T20:13:39Z“，”时间戳“：1605644019000}，”分数“：1，”资源“：{primary”：{“URL”：“http://\link.sprimary.com\/10007\/3-540-17945-3_16”}}，“副标题”：[]，“短标题”：[]，“已发布”：{“日期-部分”：[[1987]}，“国际标准图书编号”：[“9783540179450”，“978354471813”]，“references-count”：15，“URL”：“http://\/dx.doi.org\/10.1007\/3-540-17945-3_16”，“关系”：{}，“ISSN”：[“0302-9743”，“1611-3349”]，“ISSN-type”：[{“value”：“0302-7743”、“type”:“print”}、{“value”：“1611-33049”、“类型”：“electronic”}]，“主题”：[]，“published”：{“date-parts”：[[1987]]}}}