阿曼多·卡斯塔涅达;吉尔德·瓦莱里亚·罗德里格斯 异步无等待运行时验证和线性化能力的实施。 （英语） Zbl 07824315号 Oshman，Rotem（ed.）等人，《第42届ACM分布式计算原理研讨会论文集》，PODC’23，美国佛罗里达州奥兰多，2023年6月19-23日。纽约州纽约市：计算机协会（ACM）。90-101 (2023). MSC公司： 64岁以下 分布式系统 68宽15 分布式算法 关键词：并发算法;分布式运行时验证;执行;容错;线性化能力;锁定自由度;监测;共享内存;验证;等待自由 PDF格式BibTeX公司 XML格式引用 \textit{A.Castañeda}和\textit{G.V.Rodríguez}，in：第42届ACM分布式计算原理研讨会论文集，PODC’23，美国佛罗里达州奥兰多，2023年6月19-23日。纽约州纽约市：计算机协会（ACM）。90-101（2023；Zbl 07824315） 全文： 内政部 arXiv公司 参考文献： [1] Yehuda Afek、Hagit Attiya、Danny Dolev、Eli Gafni、Michael Merritt和Nir Shavit。1993.共享内存的原子快照。《美国医学会期刊》40，4（1993），873-890。10.1145/153724.153741 ·Zbl 0783.68029号 [2] Yehuda Afek、Guy Korland和Eitan Yanovsky。2010.准线性化：放松一致性以改进并发性。《分布式系统原理——第14届国际会议》，OPODIS 2010，突尼斯托泽尔，2010年12月14-17日。论文集（计算机科学讲义，第6490卷），吕晨阳、Masuzawa Toshimitsu和Mohamed Mosbah（编辑）。施普林格，395-410。10.1007/978-3-642-17653-1_29 [3] 穆斯塔奎·阿哈迈德（Mustaque Ahamad）、吉尔·内格尔（Gil Neiger）、詹姆斯·伯恩斯（James E.Burns）、科利王子（Prince Kohli）和菲利普·胡托（Phillip W.Hutto）。1995年。因果记忆：定义、实现和编程。分布式计算。9, 1 (1995), 37-49. 2007年10月10日/BF01784241·Zbl 1448.68057号 [4] Heger Arfaoui、Pierre Fraignaud、David Ilcinkas、Fabien Mathieu和Andrzej Pelc。2020年。用少量输出位在本地确定和验证网络属性。分布式计算。33, 2 (2020), 169-187. 2007年10月10日/00446-019-00355-1·Zbl 1434.68343号 [5] Ezio Bartocci和Yliès Falcone（编辑）。2018年，关于运行时验证的讲座——介绍性和高级主题。计算机科学讲义，第10457卷。斯普林格。10.1007/978-3-319-75632-5 [6] Benyamin Bashari和Philipp Woelfel。2021.一种高效的自适应部分快照实现。在2021年7月26日至30日于意大利举行的PODC’21:ACM分布式计算原理研讨会上，Avery Miller、Keren Censor-Hillel和Janne H.Korhonen（编辑）。美国医学会，545-555。10.1145/3465084.3467939 [7] David A.Basin、Vincent Jugé、Felix Klaedtke和Eugen Zalinescu。2013年，重新审查了可强制执行的安全政策。ACM事务处理。信息系统。安全。16, 1 (2013), 3. 10.1145/2487222.2487225 [8] David A.Basin、Felix Klaedtke和Eugen Zalinescu。2015.分布式系统的故障软件运行时验证。第35届IARCS软件技术和理论计算机科学基金会年会，FSTTCS 2015，2015年12月16-18日，印度班加罗尔（LIPIcs，第45卷），Prahladh Harsha和G.Ramalingam（编辑）。达格斯图尔-莱布尼兹·泽特鲁姆宫（Schloss Dagstuhl-Leibniz-Zentrum für Informatik），590-603。10.4230/LIPIcs公司。FSTTCS.2015.590·Zbl 1366.68010号 [9] 谢·贝尔科维奇（Shay Berkovich）、博尔祖·博纳克达尔普尔（Borzoo Bonakdarpour）和塞巴斯蒂安·费奇梅斯特（Sebastian Fischmeister）。2015.运行时验证，通过并行将入侵降至最低。形式方法系统。设计。46, 3 (2015), 317-348. 2007年10月10日/10703-015-0226-3·兹比尔1323.68363 [10] Borzoo Bonakdarpour、Pierre Fraignaud、Sergio Rajsbaum、David A.Rosenblueth和Corentin Travers。2022.分散式异步抗崩溃运行时验证。美国临床医学杂志69，5（2022），34:1-34:31。10.1145/3550483 ·兹伯利07679902 [11] Borzoo Bonakdarpour、Pierre Fraignaud、Sergio Rajsbaum和Corentin Travers。2016.容错分布式运行时验证的挑战。《利用形式方法的应用、验证和验证：讨论、传播、应用——第七届国际研讨会》，2016年10月10日至14日，希腊科孚帝国理工学院，2016年，第二部分会议记录（计算机科学讲稿，第9953卷），Tiziana Margaria和Bernhard Steffen（编辑）。363-370. 10.1007/978-3-319-47169-3_27 [12] 艾哈迈德·博阿贾尼（Ahmed Bouajjani）、迈克尔·埃米（Michael Emmi）、康斯坦丁·埃纳（Constantin Enea）和贾德·哈姆扎（Jad Hamza）。2013.根据顺序规范验证并发程序。《编程语言与系统》，第22届欧洲编程研讨会，2013年ESOP，作为欧洲软件理论与实践联合会议的一部分，2013年3月16日至24日，意大利罗马，ETAPS 2013。论文集（计算机科学讲义，第7792卷），马蒂亚斯·费尔莱森和菲利普·加德纳（编辑）。施普林格，290-309。10.1007/978-3-642-37036-6_17 ·Zbl 1381.68048号 [13] 艾哈迈德·博阿贾尼（Ahmed Bouajjani）、迈克尔·埃米（Michael Emmi）、康斯坦丁·埃纳（Constantin Enea）和贾德·哈姆扎（Jad Hamza）。2015.并发对象的可牵引优化检查。在2015年1月15日至17日在印度孟买举行的第42届ACM SIGPLAN-SIGCT编程语言原理年度研讨会论文集上，Sriram K.Rajamani和David Walker（编辑）。美国医学会，651-662。10.1145/2676726.2677002 ·Zbl 1345.68096号 [14] 阿曼多·卡斯塔涅达（Armando Castañeda）、塞尔吉奥·拉兹鲍姆（Sergio Rajsbaum）和米歇尔·雷纳尔（Michel Raynal）。2018.统一并发对象和分布式任务：间隔线性化。J.ACM 65，6（2018），45:1-45:42。10.1145/3266457 ·Zbl 1426.68181号 [15] 阿曼多·卡斯塔涅达（Armando Castañeda）、塞尔吉奥·拉兹鲍姆（Sergio Rajsbaum）和米歇尔·雷纳尔（Michel Raynal）。2023.并发规范的基于线性化的层次结构。Commun公司。ACM 66，1（2023），86-97。10.1145/3546826 [16] 阿曼多·卡斯塔涅达和吉尔德·瓦莱丽亚·罗德里格斯。2023.异步无等待运行时验证和线性化实施。CoRR abs/2301.02638（2023）。arXiv:2301.02638 10.48550/arXiv.2301.02638 [17] 皮埃尔·西维特（Pierre Civit）、塞斯·吉尔伯特（Seth Gilbert）、文森特·格拉莫利（Vincent Gramoli）、拉希德·盖拉维（Rachid Guerraoui）和约万·科马托维奇（Jovan Komatovic）。2022年。和ABC一样简单：最佳（A）可计算（B）yzantine（C）保险很容易！。2022年IEEE国际并行和分布式处理研讨会，IPDPS 2022，法国里昂，2022年5月30日至6月3日。IEEE，560-570。10.1109/IPDPS53621.2022.00061 [18] 皮埃尔·西维特（Pierre Civit）、塞斯·吉尔伯特（Seth Gilbert）、文森特·格拉莫利（Vincent Gramoli）、拉希德·格雷罗（Rachid Guerraoui）、约万·科马托维奇（Jovan Komatovic）、扎尔科·米洛舍维奇（Zarko Milosevic）。2022.分布式拜占庭决策任务中的犯罪与惩罚。第42届IEEE分布式计算系统国际会议，ICDCS 2022，意大利博洛尼亚，2022年7月10日至13日。IEEE，34-44。10.1109/ICDCS54860.2022.00013 [19] 迈克尔·克拉克森（Michael R.Clarkson）和弗雷德·施耐德（Fred B.Schneider）。2010年。超地产。J.计算。安全。18, 6 (2010), 1157-1210. 10.3233/JCS-2009-0393 [20] 诺曼·戴克（Norman Decker）、菲利普·戈特施林（Philip Gottschling）、克里斯蒂安·霍奇伯格（Christian Hochberger）、马丁·莱克（Martin Leucker）、托本·谢菲尔（Torben Scheffel）、马尔特·施密茨（Malte Schmitz）和亚历山大·维斯。2017.多核系统快速可调非侵入式在线监测。《形式方法：基础与应用——第20届巴西研讨会》，2017年11月29日至12月1日，巴西累西腓，SBMF 2017，会议记录（计算机科学讲稿，第10623卷），西蒙·安德雷达·科斯塔·卡瓦莱罗（Simone Andréda Costa Cavalheiro）和何塞·路易斯·菲亚德罗（JoséLuiz Fiadeiro）（编辑）。施普林格，179-196年。10.1007/978-3-319-70848-5_12 [21] Brijesh Dongol和John Derrick。2015.验证线性化：一项比较调查。ACM计算。Surv公司。48，2（2015），19:1-19:43。10.1145/2796550 [22] 安托万·埃尔·霍卡耶姆（Antoine El-Hokayem）和伊利耶斯·法尔科内（Yliès Falcone）。2018年。我们可以监控所有多线程程序吗？。运行时验证-第18届国际会议，RV 2018，利马索尔，塞浦路斯，2018年11月10日至13日，会议记录（计算机科学讲稿，第11237卷），克里斯蒂安·科伦坡和马丁·卢克（编辑）。施普林格，64-89。10.1007/978-3-030-03769-7_6 [23] 泰富·埃尔马斯和塞尔达尔·塔西兰。2005年，VyrdMC：使用模型检查器驱动运行时优化检查。在第五届运行时验证研讨会会议记录中，RV@CAV2005年，英国爱丁堡，2005年7月12日（理论计算机科学电子笔记，第144卷），霍华德·巴林格（Howard Barringer）、伯恩德·芬克贝纳（Bernd Finkbeiner）、尤里·古雷维奇（Yuri Gurevich）和亨尼·西普玛（Henny Sipma）（编辑）。Elsevier，41-56岁。2016年10月10日/j.entcs.2006.02.003 [24] 泰富恩·埃尔马斯（Tayfun Elmas）、塞尔达尔·塔西兰（Serdar Tasiran）和沙兹·卡迪尔（Shaz Qadeer）。2005.VYRD：通过运行时优化暴力检测验证并发程序。2005年6月12日至15日，美国伊利诺伊州芝加哥，ACM SIGPLAN 2005年编程语言设计与实现会议记录，Vivek Sarkar和Mary W.Hall（编辑）。美国医学会，27-37。10.1145/1065010.1065015 [25] 迈克尔·埃米和康斯坦丁·埃纳。2018年。针对并发收集的健全、完整和易处理的线性化能力监测。程序。ACM计划。Lang.2，POPL（2018），25:1-25:27。2014年10月14日/158113 [26] 伊利耶斯·法尔科内。2021.关于分散监控。计算机和通信系统的验证和评估——第十五届国际会议，VECoS 2021，虚拟事件，2021年11月22日至23日，修订论文选集（计算机科学讲稿，第13187卷），阿尤布·努里、吴伟民、卡迈尔·巴考伊和李志武（编辑）。施普林格，1-16。10.1007/978-3-030-98850-0_1 [27] 伊利耶斯·法尔科内（Yliès Falcone）、珍妮·克劳德·费尔南德斯（Jean-Claude Fernandez）和劳伦特·穆尼尔（Laurent Mounier）。2012.运行时可以验证和执行什么？国际期刊软件。技术工具。Transf公司。14, 3 (2012), 349-382. 2007年10月10日/10009-011-0196-8 [28] 伊利耶斯·法尔科内（Yliès Falcone）、克劳斯·哈维隆德（Klaus Havelund）和贾尔斯·雷格尔（Giles Reger）。2013.运行时验证教程。在工程可靠软件系统中，Manfred Broy、Doron A.Peled和Georg Kalus（编辑）。北约和平与安全科学系列，D：信息与通信安全，第34卷。IOS出版社，141-175。10.3233/978-1-61499-207-3-141 [29] 迈克尔·J·费舍尔、南希·A·林奇和迈克·帕特森。1985年，在一个错误的过程中不可能达成分布式共识。《美国临床医学杂志》32，2（1985），374-382。10.1145/3149.214121 ·Zbl 0629.68027号 [30] 科马克·弗拉纳根（Cormac Flanagan）和斯蒂芬·弗伦德（Stephen N.Freund）。雾化器：多线程程序的动态原子性检查器。科学。计算。程序。71, 2 (2008), 89-109. 10.1016/j.scico.2007.12.001·Zbl 1146.68350号 [31] 科马克·弗拉纳根（Cormac Flanagan）和斯蒂芬·弗伦德（Stephen N.Freund）。2010年，并行程序的RoadRunner动态分析框架。2010年6月5日至6日，加拿大安大略省多伦多市，PASTE’10，第九届ACM SIGPLAN-SIGSOFT软件工具和工程程序分析研讨会论文集，Sorin Lerner和Atanas Rountev（编辑）。ACM，1-8。10.1145/1806672.1806674 [32] 科马克·弗拉纳根（Cormac Flanagan）、斯蒂芬·弗伦德（Stephen N.Freund）和杰亨·易（Jaeheon Yi）。Velodrome：一个完善的多线程程序动态原子性检查器。2008年6月7日至13日，美国亚利桑那州图森市，ACM SIGPLAN 2008编程语言设计与实现会议论文集，Rajiv Gupta和Saman P.Amarasinghe（编辑）。美国医学会，293-303。10.1145/1375581.1375618 [33] 皮埃尔·弗拉吉诺（Pierre Fraignaud）、塞尔吉奥·拉兹鲍姆（Sergio Rajsbaum）和科伦蒂·特拉弗斯（Corentin Travers）。2011.无等待计算中的位置和可检查性。分布式计算-第25届国际研讨会，DISC 2011，意大利罗马，2011年9月20-22日。论文集（计算机科学讲义，第6950卷），David Peleg（编辑）。施普林格，333-347。10.1007/978-3-642-24100-0_34 ·Zbl 1311.68025号 [34] 皮埃尔·弗拉吉诺（Pierre Fraignaud）、塞尔吉奥·拉兹鲍姆（Sergio Rajsbaum）和科伦蒂·特拉弗斯（Corentin Travers）。2013.无等待计算中的位置和可检查性。分布式计算。26, 4 (2013), 223-242. 2007年10月10日/00446-013-0188-x·Zbl 1311.68026号 [35] 皮埃尔·弗拉吉诺（Pierre Fraignaud）、塞尔吉奥·拉兹鲍姆（Sergio Rajsbaum）和科伦蒂·特拉弗斯（Corentin Travers）。2020年。容错分散运行时监控所需意见数量的下限。J.Appl。计算。白杨。4, 1 (2020), 141-179. 10.1007/s41468-019-00047-6·Zbl 1435.68196号 [36] 阿德里安·弗兰卡兰扎、豪尔赫·佩雷斯和塞萨尔·桑切斯。2018.分散和分布式系统的运行时验证。在关于运行时验证的讲座——介绍性和高级主题中，Ezio Bartocci和Yliès Falcone（Eds.）。计算机科学讲义，第10457卷。施普林格，176-210年。10.1007/978-3-319-75632-5_6 [37] 埃利·加夫尼。2014年，《时间快照：一快照案例》。CoRR abs/1408.3432（2014）。arXiv公司：1408.3432http://arxiv.org/abs/1408.3432 [38] 弗洛里安·加莱和伊利耶斯·法尔科内。2021.分散LTL执法。第12届国际运动会、自动化、逻辑和形式验证研讨会论文集，GandALF 2021，Padua，Italy，2021年9月20日至22日（EPTCS，第346卷），Pierre Ganty和Davide Bresolin（编辑）。135-151. 10.4204/EPTCS.346.9 [39] Ritam Ganguly、Anik Momtaz和Borzoo Bonakdarpour。2020部分同步下的分布式运行时验证。第24届分布式系统原理国际会议，OPODIS 2020，2020年12月14-16日，法国斯特拉斯堡（虚拟会议）（LIPIcs，第184卷），昆廷·布拉马斯（Quentin Bramas），罗特姆·奥斯曼（Rotem Oshman）和保罗·罗马诺（Paolo Romano）（Eds.）。达格斯图尔-莱布尼兹·泽特鲁姆宫（Schloss Dagstuhl-Leibniz-Zentrum für Informatik），20:1-20:17。10.4230/LIPIcs公司。鸦片.2020.20 [40] 菲利普·吉本斯和埃法莲·科拉赫。1997.测试共享内存。SIAM J.计算。26, 4 (1997), 1208-1244. 10.1137/S009753979794279614·Zbl 0885.68023号 [41] 安德烈亚斯·海伯伦（Andreas Haeberlen）、彼得·库兹涅佐夫（Petr Kouznetsov）和彼得·德鲁舍尔（Peter Druschel）。2007.同行评议：分布式系统的实际责任。在2007年10月14日至17日于美国华盛顿史蒂文森举行的第21届ACM 2007年操作系统原理研讨会的会议记录中，托马斯·布雷索德（Thomas C.Bressoud）和M.弗兰斯·卡索克（M.Frans Kaashoek）（编辑）。美国医学会，175-188年。10.1145/1294261.1294279 [42] 克劳斯·哈维隆德和格里戈·罗苏。2004.运行时验证工具Java PathExplorer概述。形式方法系统。设计。24, 2 (2004), 189-215. 10.1023/B：表格.0000017721.39909.4b·Zbl 1073.68549号 [43] Thomas A.Henzinger、Christoph M.Kirsch、Hannes Payer、Ali Sezgin和Ana Sokolova。2013年，并发数据结构的量化放松。在2013年1月23日至25日于意大利罗马举行的第40届ACM SIGPLAN-SIGACT编程语言原则年度研讨会上，Roberto Giacobazzi和Radhia Cousot（编辑）。美国医学会，317-328。10.1145/2429069.2429109 ·Zbl 1301.68176号 [44] 莫里斯·赫利希（Maurice Herlihy）。1991年。无等待同步。ACM事务处理。程序。语言系统。13, 1 (1991), 124-149. 10.1145/114005.102808 [45] 莫里斯·赫利希（Maurice Herlihy）和珍妮特·温格（Jeannette M.Wing）。1990.线性化：并发对象的正确条件。ACM事务处理。程序。语言系统。12, 3 (1990), 463-492. 10.1145/78969.78972 [46] 井上美子和陈伟。1994.使用多写入多读取寄存器的线性时间快照。分布式算法，第八届国际研讨会，WDAG’94，荷兰特谢林，1994年9月29日至10月1日，《计算机科学讲义》，第857卷，Gerard Tel和Paul M.B.Vitányi（编辑）。施普林格，130-140。2007年10月10日/BFb0020429 [47] Shokoufeh Kazemlou和Borzoo Bonakdarpour。2018.防撞分散同步运行时验证。2018年10月2-5日，在巴西萨尔瓦多举行的第37届IEEE可靠分布式系统研讨会上，SRDS 2018。IEEE计算机学会，207-212。10.1109/SRDS.2018.00032号文件 [48] 莱斯利·兰波特。1978.分布式系统中的时间、时钟和事件顺序。Commun公司。ACM 21，7（1978），558-565。10.1145/359545.359563 ·Zbl 0378.68027号 [49] 莱斯利·兰波特。1979年。如何制作正确执行多进程程序的多处理器计算机。IEEE传输。计算机28，9（1979），690-691。10.1109/TC.1979.1675439号·Zbl 0419.68045号 [50] Joáo M.Lourenço、Jan Fiedor、Bohuslav Krena和Tomás Vojnar。2018.发现并发错误。在关于运行时验证的讲座——介绍性和高级主题中，Ezio Bartocci和Yliès Falcone（Eds.）。《计算机科学讲义》，第10457卷。施普林格，34-60。10.1007/978-3-319-75632-5_2 [51] 南希·A·林奇和弗里茨·W·瓦德拉格。1995年。正向和反向模拟：I.未定时系统。Inf.计算。121, 2 (1995), 214-233. 2006年10月10日/inco.1995.1134·Zbl 0834.68123号 [52] 帕特里克·奥尼尔·梅雷迪斯（Patrick O'Neil Meredith）、金东云（Dongyun Jin）、丹尼斯·格里菲斯（Dennis Griffith）、冯晨（Feng Chen）和格里戈·罗苏（Grigore Rosu）。2012.MOP运行时验证框架概述。技术工具。Transf公司。14, 3 (2012), 249-289. 2007年10月10日/10009-011-0198-6 [53] Menna Mostafa和Borzoo Bonakdarpour。2015.分布式系统中LTL规范的分散运行时验证。2015年IEEE国际并行和分布式处理研讨会，IPDPS 2015，印度海得拉巴，2015年5月25-29日。IEEE计算机学会，494-503。10.1109/IPDPS.2015.95 [54] 吉尔·内格尔（Gil Neiger）。1994.设置线性度。1994年8月14日至17日，在美国加利福尼亚州洛杉矶举行的第十三届ACM分布式计算原理年度研讨会上，James H.Anderson、David Peleg和Elizabeth Borowsky（编辑）发表了论文集。美国医学会，396。10.1145/197917.198176 [55] Arik Rinberg和Idit Keidar。2020.中间值线性化：一个定量正确性标准。第34届分布式计算国际研讨会，DISC 2020，2020年10月12-16日，虚拟会议（LIPIcs，第179卷），Hagit Attiya（编辑）。达格斯图尔-莱布尼兹·泽特鲁姆宫（Schloss Dagstuhl-Leibniz-Zentrum für Informatik），2:1-2:17。10.4230/LIPIcs公司。圆盘2020.2 [56] 吉尔德·瓦莱丽亚·罗德里格斯。2022.Verificacion de la linealizabilidad en tiempo de ejecución（西班牙语）。硕士论文。Posgrado en Ciencia e Ingeniería de la Computación公司。联阿援助团。 [57] Mahboubeh Samadi、Fatemeh Ghassemi和Ramtin Khosravi。2020年。基于消息的系统中消息序列的分散运行时强制执行。第24届分布式系统原理国际会议，OPODIS 2020，2020年12月14-16日，法国斯特拉斯堡（虚拟会议）（LIPIcs，第184卷），昆廷·布拉马斯（Quentin Bramas），罗特姆·奥斯曼（Rotem Oshman）和保罗·罗马诺（Paolo Romano）（Eds.）。达格斯图尔-莱布尼兹·泽特鲁姆宫（Schloss Dagstuhl-Leibniz-Zentrum für Informatik），21:1-21:18。10.4230/LIPIcs公司。鸦片.2020.21 [58] 塞萨尔·桑切斯、杰拉尔多·施奈德、沃尔夫冈·阿伦特、埃齐奥·巴托西、多梅尼科·比安库利、克里斯蒂安·科伦坡、伊莉亚斯·法尔科内、阿德里安·弗兰卡兰扎、斯丹·科斯蒂、乔昂·卢伦索、德扬·尼科维奇、戈登·佩斯、何塞·鲁菲诺、朱利安·西戈尔斯、德米特里·特拉伊特尔和亚历山大·维斯。2019.一项关于高级应用程序领域（软件之外）运行时验证挑战的调查。形式方法系统。设计。54, 3 (2019), 279-335. 2007年10月10日/10703-019-00337-w·Zbl 1425.68268号 [59] 阿蒂什·达斯·萨尔马、斯蒂芬·霍尔泽、利亚·科尔、阿莫斯·科尔曼、丹农·纳农凯、戈帕尔·潘杜拉根、大卫·佩莱和罗杰·瓦滕霍夫。2012.分布式近似的分布式验证和硬度。SIAM J.计算。41, 5 (2012), 1235-1265. 10.1137/1085178倍·Zbl 1259.68227号 [60] Stefan Savage、Michael Burrows、Greg Nelson、Patrick Sobalvarro和Thomas E.Anderson。1997.橡皮擦：多线程程序的动态数据竞争检测器。ACM事务处理。计算。系统。15, 4 (1997), 391-411. 10.1145/265924.265927 [61] 弗雷德·施耐德。2000.可强制执行的安全政策。ACM事务处理。信息系统。安全。3, 1 (2000), 30-50. 10.1145/353323.353382 [62] Gal Sela、Maurice Herlihy和Erez Petrank。2021.简短公告：线性化：台风。在2021年7月26日至30日于意大利举行的PODC’21:ACM分布式计算原理研讨会上，Avery Miller、Keren Censor-Hillel和Janne H.Korhonen（编辑）。美国医学会，561-564。10.1145/3465084.3467944 [63] Koushik Sen、Abhay Vardhan、Gul Agha和Grigore Rosu。2004年，分布式系统安全的高效分散监控。2004年5月23日至28日在英国爱丁堡举行的第26届国际软件工程会议（ICSE 2004）上，安东尼·芬克尔斯坦（Anthony Finkelstein）、杰基·埃斯特布利尔（Jacky Estublier）和大卫·罗森布鲁姆（David S.Rosenblum）（编辑）出席了会议。IEEE计算机学会，418-427。10.1109/ICSE.2004.1317464 [64] 魏元浩、娜玛·本·达维德、盖伊·布莱洛赫、帕纳吉奥塔·法图鲁、埃里克·鲁珀特和孙毅汉。2021.具有并发数据结构应用程序的恒定时间快照。在PPoPP’21:第26届ACM SIGPLAN并行编程原理与实践研讨会上，虚拟事件，大韩民国，2021年2月27日至3月3日，Jaejin Lee和Erez Petrank（编辑）。美国医学会，31-46。10.1145/3437801.3441602 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。