{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{“日期部分”：[2022,4,3]]，“日期时间”：“2022-04-03T16:53:41Z”，“时间戳”：1649004821298}，“出版商位置”：“查姆”，“参考计数”：28，“出版者”：“斯普林格国际出版公司”，“isbn-type”：[{“值”：“9783319041315”，“类型”：”打印“}，{“值”：“9783319041322”，“type”：“electronic”}]，“content-domain”：{“domain”:[]，“crossmark-restriction”：false}，“short-container-title”：[]，”published-print“：{”date-parts“：[[2014]]}，”DOI“：”10.1007\/978-3319-04132-2_1“，”type“：”book-chapter“，”created“：”{“date-part”：[[2013,12,9]]，“date-time”：“2013-12-09T02:49:14Z”，“timestamp”：138655 7354000}，“页面”：“1-16”，“源”：“交叉引用”，“is-referenced-by-count”：0，“title”：[“\u211eCML:A Prescription for Safely Relaxing Synchrony”]，“prefix”：“10.1007”，“author”：[{“given”：“K.C.”，“family”：“Sivaramakrishnan”，“sequence”：“first”，“affiliation”：[]}，{“给定”：“Lukasz”，“家族”：“Ziarek”，“序列”：“additional”，“从属关系”：[]}，“给定”gannathan“，”sequence“：”additional“，“affiliation”：[]}]，“member”：“297”，“reference”：[{“key”：“1_CR1”，“unstructured”：“Armstrong，J.，Virding，R.，Wikstr\u00f6m，C.，Williams，M.：Erlang中的并发编程，2nd edn.（1996）”}，{“issue”：“1”，”key：“1_ CR2”，“doi-asserted-by”：“publisher”，“first page”:“47”，“doi”：“10.1145\/7351.7478”，“volume”：”5，“作者”：“K.P.Birman”，“年份”：“1987”，“非结构化”：“Birman，K.P.，Joseph，T.A.：出现故障时的可靠通信。ACM Trans.Compute.Syst.\u00a05（1），47\u201376（1987）”，“日志标题”：“ACM Trans.Compute.System.”}，{“key”：“1_CR3”，“doi-asserted-by”：“crossref”，“非结构性”：“Boehm，H.J.，Adve，S.V.：C++并发内存模型的基础。摘自：PLDI，pp.68\u201378（2008）”，“DOI”：“10.1145\/1379022.1375591”}，{“key”：“1_CR4”，“unstructured”：“Cao Minh，C.，Chung，J.，Kozyrakis，C.，Olukotun，K.：STAMP:多处理的斯坦福事务应用程序。摘录自：IISWC（2008），“doi-asserted-by”：“publisher”，“first page”：“173”，，“doi”：“10.1007\/s004460050018”，“volume”：”9“，“author”：“B.Charron-Bost”，“year”：“1996”，“unstructured”：“Charron-Bos，B.，Mattern，F.，Tel，G.：同步、异步和因果顺序通信。Distribut.Comput.\u00a09（4），173\u2013191（1996）”，“日志标题”：“Distribute.Compute.”}，{“key”：“1_CR6”，“非结构化”：“Cully，B.，Lefebvre，G.，Meyer，D.，Feeley，M.，Hutchinson，N.，Warfield，A.：Remus：通过异步虚拟机复制实现高可用性。摘自：NSDI，第161\u2013174页（2008）”}，{“key”：“1_CR7”，“doi-asserted-by”：“crossref”，“unstructured”：“Demange，D.，Laporte，V.，Zhao，L.，Jagannathan，S.，Pichardie，D.，Vitek，J.：B计划：Java缓冲内存模型。收录：POPL，pp.329\u2013342（2013）”，“DOI”：“10.1145\/2480359.2429110”}，{“key”：“1_CR8”，“DOI-asserted-by”：“crossref”，“unstructured”：“Donnelly，K.，Fluet，M.：事务事件。收录于：ICFP，pp.124\u2013135（2006）”，内政部“：“10.1145\/1160074.1159821”}，{“key”：“1_CR9”，“doi-asserted-by”：“crossref”，“unstructured”：“Effinger-Dean，L.，Kehrt，M.，Grossman，D.：ML的交易事件。In:ICFP，pp.103\u2013114（2008）”，“doi”：“10.145\/1411203.1411222”}、{“issue”：“3”，“key“1_CR”，“doi-asserted-by”:“publisher”，”第一页“375”，“doi”：“10.1145\/568522.568525”，“卷”：“34”，“author”：“E.N.M.Elnozahy”，“year”：“2002”，“unstructured”：“Elnozaxy，E.N.M..，Alvisi，L.，Wang，Y.M.，Johnson，D.B.：消息传递系统中回滚恢复协议的调查。ACM Compute.Surv.\u00a034（3），375\u2013408（2002）”，“journal-title”：“ACM Computer.Surv.”}，{“key”：“1_CR11”，“doi-asserted-by”：“crossref”，”unstructure“”：“Epstein，J.，Black，A.P.，Peyton-Jones，S.：迈向云中的Haskell。摘自：Haskel研讨会，第118\u2013129页（2011）”，“DOI”：“10.1145\/2096148.2034690”}，{“key”：“1_CR12”，“DOI-asserted-by”：“crossref”，“unstructured”：“Lesani，M.，Palsberg，J.：通信内存事务。摘自于：PPoPP，第157\u2013168（2011）页”，“DI:”10.1145\/2038037.1941577“}”，{“key”：“1_CR13”，“unstructured”：“Li，T.，Ellis，C.S.，Lebeck，A.R.，Sorin，D.J.：脉冲：使用推测执行的动态死锁检测机制。收录于：USENIX ATC，pp.31\u201344（2005）”}，{“密钥”：“1_CR14”，“doi-asserted-by”：“crossref”，“非结构化”：“Martin，S.，Ahmed-Nacer，M.，Urso，P.：复制文档的受控冲突解决。In:CollaborateCom，pp.471\u2013480（2012）”，“DOI”：“10.4108\/icst.CollaborateCom.2012.50461”}，{“key”：“1_CR15”，“unstructured”：“MultiMLton:MLton for Scalable Multicore Architectures（2013）”，\n\n http://\/multimlton.cs.purdue.edu“}，{“key”：“1_CR16”，“doi-asserted-by”：“crossref”，“unstructured”：“Nichols，D.A.，Curtis，P.，Dixon，M.，Lamping，J.：高亮度，木星协作系统中的低带宽窗口。摘自：UIST，pp.111\u2013120（1995）”，“doi”：“10.1145\/215585.215706”}1_CR17“，”doi-asserted-by“：”crossref“，”unstructured“：”Nightingale，E.B.，Chen，P.M.，Flinn，J.：分布式文件系统中的推测执行。收录于：SOSP，pp.191\u2013205（2005）“，”DOI“：”10.1145\/1095809.1095829“}，{“key”：“1_CR18”，“unstructured”：“Reppy，J.：ML.Cambridge University Press（2007）中的并发编程”}，“{”key“：”1_CR19“，”DOI-asserted-by“：”crossref“，”unstructure“：”Sarkar，S.、Sewell，P.、Nardelli，F.Z.、Owens，S.、Ridge，T.、Braibant，T.、Myreen，M.O.、Alglave，J.：x86 CC多处理器机器代码的语义。收录于：POPL，第379\u2013391（2009）页“，”DOI“：”10.1145\/1594834.1480929“}，{”issue“：”4-5“，”key“：”1_CR20“，”DOI-asserted-by“：”publisher“，”first page“：Sewell，P.、Leifer，J.J.、Wansbrough，K.、Nardelli，F.Z.、Allen-Williams，M.、Habouzit，P.和Vafeiadis，V.：急性：分布式计算的高级编程语言设计。J.功能。程序。\u00a017（4-5），547\u2013612（2007）”，“期刊标题”：“J.Funct。程序。“}，{”issue“：”7“，”key“：”1_CR21“，”doi-asserted-by“：”publisher“，”first-page“：”89“，”doi“：”10.1145\/1785414.1785443“，”volume“：“53”，”author“：”P.Sewell“，”year“：”2010“，”unstructured“：”Sewell，P.，Sarkar，S.，Owens，S..Commun.ACM\u00a053（7），89\u201397（2010）“，”新闻标题“：”Commun。ACM“}，{“key”：“1_CR22”，“doi-asserted-by”：“crossref”，“unstructured”：“Suleiman，M.，Cart，M.、Ferri\u00e9，J.：分布式协作环境中并发操作的序列化。摘自：GROUP，pp.435\u2013445（1997）”，“doi”：“10.1145\/266838.267369”}，}“key:”1_CR23publisher“，”first page“：”914“，”DOI“：”10.1007\/3-540-48311-X_127“，”volume-title“：”Euro-Par\u201999并行处理“，”author“：”K.Wakita“，”year“：”1999“，”unstructured“：”Wakita，K.，Asano，T.，Sassa，M.：D\u2019Caml:异构环境中分布式ML编程的本地支持。收录人：Amestoy，P.R.，Berger，P.，Dayd\u00e9，M.，Duff，I.S.，Frayss\u00e8，V.，Giraud，L.，Ruiz，D.（编辑）Euro-Par 1999。LNCS，第00a01685卷，第914\u2013924页。Springer，Heidelberg（1999）“}，{“key”：“1_CR24”，“unstructured”：“Wang，D.，Mah，A.，Lassen，S.：Operational Transformation（2010），\n\n http://www.waveprotocol.org\/whitepapers\/operative-transform”}，}，“key“：”1_CR25“非结构化”：“Wester，B.、Cowling，J.A.、Nightingale，E.B.、Chen，P.M.、Flinn，J.、Liskov，B.：通过客户推测容忍复制状态机中的延迟。收录于：NSDI，第245\u2013260（2009）页“}，{“key”：“1_CR26”，“unstructured”：“ZeroMQ:The Intelligent Transport Layer（2013），\n\n http://www.ZeroMQ.org”}，}“issue”：“2”，“key“：”1_CR27：“2010”unstructured“：”Ziarek，L.，Jagannathan，S.：并发ML的轻量级检查点。函数编程杂志\u00a020（2），137\u2013173（2010）“，”Journal-title“：”Journal of Functional Programming“}，{“key”：“1_CR28”，“doi-asserted-by”：“crossref”，“unstructure”：“Ziarek，L.、Sivaramakrishnan，K.、Jagannathan，S.：可组合异步事件。在：PLDI，第628\u2013639页（2011）“，”DOI“：”10.1145\/1993316.1993572“}]，”container-title“：[”声明语言的实用方面“，”计算机科学课堂笔记“]，”original-title”：[]，”link“：[{”URL“：”http://\/link.springer.com\/content\/pdf\/10.10007\/978-3319-04132-2_1“，”content-type“：”unspecified“，”content-version“：”vor“，”intended-application“：”相似性检查“}]，”存放“：{”日期部分“：[[2019,5,25]]，”日期时间“：”2019-05-25T08:52:04Z“，”时间戳“：1558774324000}，”分数“：1，”资源“：{primary”：{“URL”：“http://\link.sprimary.com\/10007\/978-3-319-04132-2_1”}}，“副标题”：[]，“短标题”：[]，“已发布”：{“日期部分”：[[2014]}，“ISBN”：[“9783319041315”，“9783319041322“]，”references-count“：28，”URL“：”http://\/dx.doi.org\/10.1007\/978-3-319-04132-2_1“，”关系“：{}，”ISSN“：[”0302-9743“，”1611-3349“]，“ISSN-type”：[{“value”：“0302-974”，”type“：”print“}，{“value”：“1611-3399”，”类型“：”electronic“}]，”subject“：[]，”published“：{”date-parts“：[2014]}}}”