｛“状态”：“正常”，“消息类型”：“工作”，“消息版本”：“1.0.0”，“消息”：｛“索引”：｛“日期部分”：[[2022,3,31]，“日期时间”：“2022-03-31T20:46:56Z”，“时间戳”：1648759616787｝，“发布者位置”：“柏林，海德堡”，“引用计数”：10，“发布者”：“施普林格-柏林-海德堡”，“isbn类型”：[｛“值”：“9783540509400”，“类型”：“打印”｝，｛“值”：“9783540461180”，“type”：“electronic”}]，“content-domain”：{“domain”:[]，“crossmark-restriction”：false}，“short-container-title”：[]，”published-print“：{”date-parts“：[[1989]}，”DOI“：”10.1007\/3-540-50940-2_37“，”type“：”book-capter“，”created“：”{“date-part”：[2012,25]]，“date-time”：“2012-02-25T20:35:17Z”，“时间戳”：1330202117000}，“页面”：“210-224”，“源”：“Crossref”，“is-referenced-by-count”：0，“title”：[“并发程序的开发：示例”]，“prefix”：“10.1007”，”author“：[{”given“：”E.Pascal“，”family“：”Gribomont“，“sequence”：“first”，“affiliance”：[]}]，“member”：“297”，“published-online”：{“date-parts”：[[2005,31]]}，“reference”：[{“key”：“13_CR1”，《doi-asserted-by》：“Crossref”，“unstructured”：“K.M。CHANDY和J.MISRA，\u201c并行程序设计：基金会\u201d，Addison Wesley，1988。”，“DOI”：“10.1007\/978-1-4613-9668-0_6”}，｛“key”：“13_CR2”，“volume title”：“编程学科”，“author”：“E.W.Dijkstra”，“year”：“1976”，“nonstructured”：“E.W.Dijkstra，\u201cA编程学科\u201d，Prentice Hall，New Jersey，1976。”｝，｛“key”：“13_CR3“，”doi-asserted-by“：”crossref“，”first page“：”966“，”doi“：”10.1145\/359642.359655“，”volume“：“21”，”author“：”E.W.Dijkstra“，“year”：“1978”，“unstructured”：“E.W.Dijkstra and al.，\u201cOn-the-Fly垃圾收集：合作实践\u201d，CACM，第21卷，第966\u2013975页，1978。”，“日志标题”：“CACM”}，{“key“：”13_CR4“，”非结构化“：”E.P。GRIBOMONT，\u201cM\u00e9thode progressive de synth\u00e 8se et de v\u00e_9rification de programmes parall\u00e-8les\u201d，Th\u00es de doctorat，University\u00e9 de Li\u00e.8ge，1985。“}”，{“key”：“13_CR5”，“doi-asserted-by”：“crossref”，“doi”：“10.1007\/9781-4612-5983-1”，“volume-title”：“编程科学”，“作者”：“D.Gries”，“年份”：“1981年”，“非结构化“：”D.GRIES，\u201cThe Science of Programming，Springer-Verlag，Berlin，1981.“}，{”key“：”13_CR6“，”doi-asserted-by“：”crossref“，”first page“：“666”，”doi“：”10.1145\/359576.359585“，”volume“：。HOARE，\u201cCommunicating Sequential Processes\u201d，CACM，第21卷，第666\u2013677页，1978年。“，“journal-title”：“CACM”}，{“key”：“13_CR7”，“doi-asserted-by”：“crossref”，“unstructured”：“C.A.R.HOARE”，\u201 cCommunicated Sequential-Processes\u201d、Prentice-Hall，1985年。by“：”publisher“，”第一页“：”175“，”DOI“：”10.1016\/0167-6423（83）90014-X“，”volume“：”2“，”author“：”L.Lamport“，”year“：”1983“，”unstructured“：”L.Lamport，\u201cAn Assertion Correcess Proof a Distributed Algorithm“u201d，Science of Computer Programming，vol.2，pp.175\u20132061983doi-asserted-by“：”crossref“，”first-page“：”9“，”doi“：”10.1145 \/358527.358537“，”volume“：”24“，”author“：”G.Ricart“，“year”：“1981”，“unstructured”：“G.Ricart and A.K.AGRAWALA，\u201c互斥的最佳算法\u201d，CACM，第24卷，第9\u201317页，1981年（更正卷，第578页）。“，”journal-title“：”CACM“}，{“key”：“13_CR10”，“doi-asserted-by”：“publisher”，“first page”：”227“，”doi“：”10.1016\/0304-3975（82）90067-6“，”volume“：”18“，”author“：”J.Sifakis“，”year“：”1982“，”unstructured“：”J。SIFAKIS，\u201cA unified approach for studing the properties of transition systems \u201d，Theoryal Computer Science，vol.18，pp.227\u20132592982.“，“journal title”：“Theoryal Computer Scence”}]，“container-title”：[“TAPSOFT'89”，“Teach Notes in Computer Science”]，“original title“：[]，”link“：[{”URL“http://\/link.springer.com/content\/pdf\/10.1007\/3-540-50940-2_37.pdf“，“content-type”：“unspecified”，“content-version”：“vor”，“intended-application”：“similarity-checking”}]，“deposed”：{“date-parts”：[[2021,12,31]]，“date-time”：”2021-12-31T02:42:16Z“，“timestamp”：1640918536000}，“score”：1，“resource”：{“primary”：}“URL”：“http:\/\/link.springer.com/10.1007\/3-540-50940-2_37“}}，”副标题“：[]，”短标题“：[]，”已发布“：{”日期部分“：[[1989]]}，“ISBN”：[“9783540509400”，“97835461180”]，”引用计数“：10，”URL“：”http://\/dx.doi.org\/10.1007\/3-5400-50940-2.37“，”关系“：{}，2-9743“，”1611-3349“]，”ISSN-type“：[{”value“：”0302-9743“，”type“:”print“}，{”value“：”1611-3349“，”type“：”electronic“}]，”subject“：[]，”published“：{”date-parts“：[[1989]]}}