{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{“日期部分”：[[2022,3,31]]，“日期时间”：“2022-03-31T13:45:50Z”，“时间戳”：1648734350214}，“引用-计数”：24，“发布者”：“EDP Sciences”，“问题”：“2”，“内容域”:{“域”：[]，“交叉标记限制”：false}，”shortcontainer-title“：[”RAIRO-Theor.Inf.应用程序“]，“published-print”：{“date-parts”：[1997]]}，“DOI”：“10.1051\/ita\/1997310200971”，“type”：“journal-article”，“created”：{“date-ports”：[[2017,2,2]，“date-time”：“2017-02-02T15:16:17Z”，“timestamp”：1486048577000}，”page“：”97-148“source”：”Crossref“，”is-referenced-by-count“：0，”title“：[”Introduction\u00e0 l0'algorithmique des objets partag\u00e9s“]，”前缀“：“10.1051”，“卷”：“31”，“作者”：[{“给定”：“伯纳黛特”，“家族”：“查伦·博斯特”，“序列”：“第一”，“从属关系”：[]}，{“给出”：“罗伯特”，“家庭”：“科里”，“顺序”：“附加”，“附属关系”：[]}“：{”日期部分“：[[2011,1,8]]}，”引用“：[{“key”：“R1”，“unstructured”：“[Abr]ABRAHAM U.，《关于进程间通信和通用原子寄存器问题》，以色列Ben-gurion大学技术报告，1988年。”}，{“密钥”：“R2”，“doi-asserted-by”：“crossref”，《非结构化》：“[and]ANDERSON J.H.，复合寄存器，分布式计算，1993，6，pp.141-154.0781.68042”，“doi”：“10.1007\/BF02242703”}，{“key”：“R3”，“doi-asserted-by”：“crossref”，“unstructured”：“[Ang]ANGER F.D.，《关于Lamport的处理器间通信模型》，《ACM Trans.On Programming Languages and Systems》，1989年，第11期，第404-417页。”，“doi”：“10.1145\/659.65982”}ARNOLD A.，MEC的使用示例：Tromp算法的验证，技术报告，University\u00e9 Bordeaux 1，1993。“}，{“key”：“R5”，“doi-asserted-by”：“crossref”，“unstructured”：“[AKKV]AWERBUCH B.，KIROUSIS L。M.，KRANAKIS E.et VIT\u00c1NYI P.，寄存器原子性的证明技术，软件技术与理论计算机科学基础会议论文集，LNCS，Springer Verlag，1988，338，pp.286-303.10239030669.68019“，“DOI”：“10.1007\/3-540-50517-2_87”}，{“key”：“R6”，“DOI-asserted-by”：“crossref”，“unstructured”：“[Blo]BLOOM B.，构建双写器原子寄存器，IEEE Trans。《计算机》，1988年，第37期，第1506-1514.9754010663.68034页“，“DOI”：“10.1109\/12.9729”}，{“key”：“R7”，“DOI-asserted-by”：“crossref”，“unstructured”：“[HS]HALDAR S.et SUBRAMANIAN P。S.，1写1读多值原子寄存器的空间最优无冲突构造，国际第8届分布式计算研讨会，LNCS，Springer Verlag，1994857，pp.116-129.1325246“，“DOI”：“10.1007\/BFB020428”}，｛“key”：“R8”，“DOI asserted by”：“crossref”，“nonstructured”：“[Her]HERLIHY M.，无需等待同步，ACM Trans。《编程语言与系统》，1991，13，pp.124-149.“，”DOI“：”10.1145\/11405.102808“｝，”key“：”R9“，”DOI断言“：”crossref“，”非结构化“：”[HW]HERLIHY M.et WING M.，线性化：并发对象的正确性条件，ACM Trans.on Programming Languages and Systems，1990，12，pp.463-492“，”DOI“：”10.1145\/78969.78972“｝，”key“：”R10“，”doi-asserted-by“：”crossref“，”unstructured“：”[IS]ISRAELI A.et SHAHAM A.，最优多写原子寄存器，第十一届ACM分布式计算原理研讨会论文集，1992.1082.68017“，”doi“：”10.1145\/135419.135435“}，{“key”：“R11”，“doi-assert-by”：“crossref.”，“unstructure”：“[KKV]KIROUSIS L。M.，KRANAKIS E.et VIT\u00c1NYI P.，原子多重阅读器注册，分布式计算国际第二次研讨会，LNCS，Springer Verlag 1987，312，pp.278-296。“，“DOI”：“10.1007\/BFb0019809”}，{“key”：“R12”，“DOI-asserted-by”：“crossref”，“unstructured”：“[KV]KIROUSIS L.M.et VENERIS A。G.，检查连续读写操作原子性的高效算法，第七届分布式计算国际研讨会，LNCS，Springer Verlag 1993，725，pp.54-68.12844890925.68169“，“DOI”：“10.1007\/3-540-57271-6_27”}，{“key”：“R13”，“DOI-asserted-by”：“crossref”，“unstructured”：“[L78]LAMPORT L.，《分布式系统中的时间、时钟和事件顺序》，ACM的通信，1978年，21，第558-564.0378.68027页LAMPORT L.，《进程间通信：第一部分——基本形式主义》，分布式计算，1986年，第1期，第77-85.0598.68022页，“DOI”：“10.1007”：“BF01786227”}，{“key”：《R16》，“DOI-asserted-by”：“crossref”，“unstructured”：“[L86b]LAMPORT L.，“进程间通信——第二部分——算法”，分布式计算（Distributed Computing），1986年1月，第86-101.0598.68023页”，“DOI:”10.1007 \/BF01786228“}，{“key”：“R17”，“doi-asserted-by”：“crossref”，“unstructured”：“[Mis]MISRA J.，异步硬件系统中内存访问的公理，ACM Trans.on Programming Languages and systems，1986，8，pp.142-153.8222690593.68017”，“doi”：“10.1145 \/5001.5007”}，}“key:”R18“doi-sserted-by。H.，《图和序中可比图和区间图的算法方面》（NATO ASI C147），L Rival ed D.Reidel，1985年，第41-101.8184930569.05046页，“DOI”：“10.1007\/978-94-009-5315-4_2”}，{“key”：“R19”，“DOI-asserted-by”：“crossref”，“unstructured”：“[Ore]Ore O.，图论，Amer.Math.Soc.Colloq。出版物。，普罗维登斯，1962，38.1507530105.35401“，“DOI”：“10.1090\/coll\/038”}，{“key”：“R20”，“DOI-asserted-by”：“crossref”，“unstructured”：“[Pet]PETERSON G.L.，写作时并发阅读，ACM Trans.on Programming Languages and Systems，1983，5，pp.46-55.0498.68010”，“DOI:”10.1145\/357195.357198“，”非结构化“：”[Tro]TROMP J.，《如何构造原子变量》，分布式算法国际研讨会，LNCS，Springer Verlag 1989，392，pp.292-302。“，“DOI”：“10.1007\/3-540-51687-5_51”}，{“key”：“R22”，“DOI-asserted-by”：“crossref”，“非结构化”：“[Vid]VIDYASANKAR K.，《将Lamport的常规寄存器转换为原子寄存器》，《信息处理快报》，1988年，第28期，第287-290.963510662.68049页，“DOI”：“10.1016\/0020-0190（88）90175-5”}，{“key”：“R23”，“DOI-asserted-by”：“crossref”，“unstructured”：“[VA]VIT\u00c1NYI P.et AWERBUCH B.，异步硬件的原子共享访问，第27届计算机科学基础研讨会论文集，1986年，勘误表，同上，1987年。“，“DOI”：“10.1109\/SFCS.1986.11”}，{“key”：“R24”，“unstructured”：“[Wie]WIENER N.，对相对位置理论的贡献，Proc。外倾角。菲洛斯。Soc.，1914，17，pp.441-449.45.1150.1045.1150.10“}]，“container-title”：[“RAIRO-理论信息学和应用”]，“original-title“：[]，“link”：[{“URL”：“http://www.RAIRO-ita.org \/10.1051\/ita\/1997310200971\/pdf”，“content-type”：“unspecified”，“content-version”：“vor”，“intended-application”：“similarity-checking”}，“deposed”：{”date-parts“：[[2019,9,18]]，“date-time”：“2019-09-18T06:01:13Z”，“timestamp”：1568786473000}，“score”：1，“resource”：{“primary”：{“URL”：“http:\\/www.rairo-ita.org\/10.1051\/ita\/1997310200971”}}，”subtitle“：[]，”shorttitle“：[]，”issued“：{”date-part“：[1997]]}”，“references-count”：24，“journal-count”问题“：{“问题”：“2”}，“替代id”：[“ita1997310200971”]，“URL”：“http:\/\/dx.doi.org\/10.1051\/ita\/1997310200971“，”关系“：{}，”ISSN“：[”0988-3754“，”1290-385X“]，”ISSN-type“：[{”value“：”0988~3754“”，“type”：“print”}，{”value“：“1290-385 X”，“type”：“electronic”}]，“subject”：[]，“published”：{“date-parts”：[[1997]]}}}}