｛“status”：“ok”，“message type”：“work”，“message version”：“1.0.0”，“message”：｛“indexed”：｛“date parts”：[[2022,4,5]]，“date-time”：“2022-04-05T06:33:09Z”，“timestamp”：1649140389037｝，“publisher location”：“Berlin，Heidelberg”，“reference count”：9，“publisher”：“Springer Berlin Heidelberg”，“isbn type”：[｛“value”：“9783540156703”，“type”：“print”｝，｛“value”：“9783540395935”，“type”：“electronic”}]，“content-domain”：{“domain”:[]，“crossmark-restriction”：false}，“short-container-title”：[]，”published-print“：{”date-parts“：[[1985]}，”DOI“：”10.1007\/3-540-15670-4_17“，”type“：”book-capter“，”created“：”{“date-part”：[2012,25]]，“date-time”：“2012-02-25T18:23:26Z”，“时间戳”：1330194206000}，“页面”：“360-372”，“源”：“Crossref”，“is-referenced-by-count”：7，“title”：[“拓扑在通信过程语义中的应用”]，“prefix”：“10.1007”，”author“：[{“given”：“William C.”，“family”：“Rounds”，“sequence”：“first”，“affiliation”：[]}]，“member”：“297”，“published-online”：{“date-parts”：[[2005,29]]}，“reference”：[{key：“17_CR1”，《doi-asserted-by》：“cross”参考“，“非结构化”：“J.W.de Bakker和J.F.Zucker，\u201cProcesses and the dentational semantics of concurrency，\u201 d Proc.14th ACM Symp.on Theory of Computing，153\u2013158.”，“DOI”：“10.1016\/S0019-9958（82）91250-5”}，{“key”：“17_CR2”，“DOI-asserted-by”：“crossref”，“非结构”：“W.Golson and W。Rounds，\u201c两种并发理论之间的联系：度量空间和同步树，\u201技术代表CRL-TR-3-83，密歇根大学计算研究实验室，1983年（出现在Inf.Control中），“DOI”：“10.1016\/S0019-9958（83）80039-4”}，{“key”：“17_CR3”，“DOI-asserted-by”：“crossref”，“unstructured”：“M.Hennessy and R。Milner，\u201c《关于观察不确定性和并发性》。第七届ICALP，LNCS 85（1980）。“，”DOI“：”10.1007\/3-540-10003-2_79“}，{”key“：”17_CR4“，”volume-title“：”通信过程的数学模型，\u201d Report PRG-16“，”author“：”C.A.R.R.Hoare“，”year“：”1981“，”unstructured“：”C.A.R.Hoare，S.D.Brookes，and W。Roscoe，通信过程的数学模型，PRG-16报告，编程研究小组，牛津（1981）。也将出现在JACM中。“}，{”key“：”17_CR5“，”doi-asserted-by“：”crossref“，”unstructured“：”R.Milner，\u201cA calculation of communicating systems，\u201 d LNCS 92，（1980）.“，”doi“：”10.1007\/3-540-10235-3“}”，{“key”：“17_CR6”，“first page”：”561“，”volume“：“154”，“author”：“E.Olderog”，“year”：“1983”，“unstructure”：”E.Oldelog和C.A.R.“。Hoare，\u201cSpecification-oriented semantics for communicating process，\u201 d Proc。第十届ICALP，LNCS 154（1983），561\u2013572.“，“期刊标题”：“Proc。第十届ICALP，LNCS“}，{“key”：“17_CR7”，“unstructured”：“W.Roscoe，\u201cA通信过程的数学理论，\u201 D D.Phil.论文，牛津（1982）。”}，“key“：”17_CR8“，”unstructure“：”W.Rounds，\u2018 cOn the relationship between the Scott domains，synchronization trees，and metric spaces，\u 201d Tech.Rep。CRL-TR-25-83，密歇根大学计算研究实验室（1983年）。“}，{”key“：”17_CR9“，”first page“：“662”，“volume”：“154”，“author”：“M.Smyth”，“year”：“1983”，“unstructured”：“M.Smyth，\u201cPower domains and predicator transformers:a topological view，\u201 d Proc.10th ICALP，LNCS 154（1983），662\u2013675.”，“journal title”：“Proc.10st ICALP、LNCS”}]，“container-title”：[“计算机科学讲义”，”Concurrency研讨会“]，”original-title“：[]，”link“：[{”URL“：”http://\/link.springer.com/content\/pdf\/10.1007\/3-540-15670-4_17.pdf“，”content-type“：”unspecified“，”content-version“：”vor“，”intended-application“：”similarity-checking“}]，”deposed“：{”date-parts“：[2020,11,17]]，”date-time“：“2020-11-17T20:08:41Z”，“timestamp”：1605643721000}，“分数”：1，“resource“：{”primary”：{“URL”：“http://\/link.springer.com/10.1007\/3-540-15670-4_17”}}，“subtitle”：[]，“shorttitle”：[]，“issued”：{-“date-parts”：[[1985]]}，”ISBN“：[”9783540156703“，”978354395935“]，”references-count“：9，”URL“：”http://\/dx.doi.org\/10.10007\/3-504-15607-4_17“，”relation“：{}，”ISSN“：[”0302-9743“，”1611-3349“]，”ISSN-type“：[{”value“：”0302-7743“type“：”print“}，{”value“：“1611-3349”，“type”：“electronic”}]，“subject”：[]，“published”：{“date-parts”：[[1985]]}}}