%%====================================================================== %% WARNING: Do NOT edit this file. It was produced automatically %% with the UNIX pipeline %% %% biblex xxx.bib | \ %% gawk -f keywords.awk | \ %% egrep 'entrytype$' | \ %% gawk -f fmtwords.awk >xxx.xwx %% %% by beebe@gamma.math.utah.edu on Fri Feb 23 16:47:23 MST 2024 %%====================================================================== \ifx \NAMECITE \undefined % User can override this definition \def \NAMECITE #1#2{{\bf #1} \cite{#2}} \fi \NAMECITE{$ (1 + \in, \beta)$}{% Elkin:2006:EAC% }. \NAMECITE{$ (n, k)$}{% Bouzid:2018:AOF% }. \NAMECITE{$ 2^m $}{% Huang:1999:SSC% }. \NAMECITE{$^2$}{% Gramoli:2018:TST% }. \NAMECITE{$ \Delta $}{% Ghaffari:2021:IDC,% Goos:2017:LLB% }. \NAMECITE{$ \ell $}{% Taubenfeld:2014:TSB% }. \NAMECITE{$F$}{% Shafer:1995:IHC% }. \NAMECITE{$k$}{% Afek:2010:SCP,% Anderson:1997:ULS,% Cruciani:2023:PTE,% Gasieniec:2008:TES,% Halldorsson:2019:DAS,% Herlihy:2005:TBS,% Patt-Shamir:2008:ADT% }. \NAMECITE{$ \log n $}{% Avin:2018:BBR% }. \NAMECITE{$m$}{% Merritt:1994:ARO% }. \NAMECITE{$ n - k + 1$}{% Bouzid:2018:AOF% }. \NAMECITE{$ o(m) $}{% Mashreghi:2021:BMS% }. \NAMECITE{$ \Omega $}{% Zielinski:2010:AWF% }. \NAMECITE{$ \pi $}{% Lozes:2010:SEL% }. \NAMECITE{$r$}{% Ducourthial:2001:SSO% }. \NAMECITE{$ t < n / 8 $}{% Zamsky:1995:OTB% }. \NAMECITE{-calculus}{% Lozes:2010:SEL% }. \NAMECITE{{}-channels}{% Shafer:1995:IHC% }. \NAMECITE{-clock}{% Huang:1999:SSC% }. \NAMECITE{{}-coloring}{% Ghaffari:2021:IDC% }. \NAMECITE{-exclusion}{% Anderson:1997:ULS,% Taubenfeld:2014:TSB% }. \NAMECITE{-majority}{% Cruciani:2023:PTE% }. \NAMECITE{-operators}{% Ducourthial:2001:SSO% }. \NAMECITE{-register}{% Merritt:1994:ARO% }. \NAMECITE{-service}{% Halldorsson:2019:DAS% }. \NAMECITE{-set}{% Bouzid:2018:AOF,% Herlihy:2005:TBS% }. \NAMECITE{-shot}{% Gasieniec:2008:TES% }. \NAMECITE{-simultaneous}{% Afek:2010:SCP% }. \NAMECITE{-spanners}{% Elkin:2006:EAC% }. \NAMECITE{{07}}{% Pelc:2008:SID% }. \NAMECITE{2-Choices}{% Cruciani:2021:PTC% }. \NAMECITE{2-edge-connectivity}{% Censor-Hillel:2020:FDA% }. \NAMECITE{{2003}}{% Fich:2005:ISI% }. \NAMECITE{{2005}}{% Fraigniaud:2007:SID% }. \NAMECITE{{2007}}{% Wattenhofer:2009:SIP% }. \NAMECITE{{2008}}{% Patt-Shamir:2010:SIP,% Taubenfeld:2010:SID% }. \NAMECITE{{2009}}{% Alvisi:2011:SIP,% Keidar:2011:SIS% }. \NAMECITE{{2010}}{% Guerraoui:2012:SSS,% Lynch:2013:SID% }. \NAMECITE{{2011}}{% Fraigniaud:2013:SIS,% Peleg:2013:SID% }. \NAMECITE{{2012}}{% Aguilera:2014:SIS,% Panconesi:2015:SIS% }. \NAMECITE{{2013}}{% Taubenfeld:2015:SIP% }. \NAMECITE{{2014}}{% Attiya:2017:SID% }. \NAMECITE{{2015}}{% Attiya:2019:SIP,% Moses:2018:ISI% }. \NAMECITE{{2016}}{% Attiya:2019:SIP% }. \NAMECITE{{2017}}{% Attiya:2020:ESI% }. \NAMECITE{{2018}}{% Attiya:2021:SIPa% }. \NAMECITE{{2019}}{% Attiya:2021:SIPb,% Attiya:2023:SID% }. \NAMECITE{{2020}}{% Attiya:2022:SID,% Attiya:2022:SIP% }. \NAMECITE{{2021}}{% Attiya:2024:SIP% }. \NAMECITE{20th}{% Dolev:2008:ISI% }. \NAMECITE{{Ability}}{% Frolund:2001:XAT% }. \NAMECITE{abstract}{% Basten:1997:VTC,% Jonsson:1994:FAT,% Kuhn:2011:AML% }. \NAMECITE{abstraction}{% Graf:1999:CSC% }. \NAMECITE{abstractions}{% Kshemkalyani:2004:PLC% }. \NAMECITE{Access}{% Bazzi:2001:ACA,% Bienkowski:2016:RME,% Chlebus:2009:MTM,% Ellen:2016:UCE% }. \NAMECITE{accessed}{% Alon:2005:TBS% }. \NAMECITE{achieve}{% Chaudhuri:1995:UAT% }. \NAMECITE{achievement}{% Critchlow:1996:ISA% }. \NAMECITE{Achieving}{% Brahmadathan:1991:AGP,% Bazzi:1997:URA,% Widder:2009:TMA% }. \NAMECITE{Acknowledgement}{% Anonymous:2021:RA% }. \NAMECITE{Action}{% Kurki-Suonio:2003:ASI,% Halpern:1989:MKA,% Moses:1986:CHO% }. \NAMECITE{actions}{% Kurki-Suonio:1992:OSJ% }. \NAMECITE{Activating}{% Pelc:2007:AAA% }. \NAMECITE{{Active}}{% Chockler:2005:ADP% }. \NAMECITE{actively}{% Michail:2022:DCR% }. \NAMECITE{ad}{% Anta:2012:OID,% Chlebus:2002:DBA,% Dolev:2005:GIA,% Gilbert:2017:WYS,% Halldorsson:2019:LMC,% Kowalski:2005:BUA,% Pelc:2007:AAA% }. \NAMECITE{ad-hoc}{% Anta:2012:OID% }. \NAMECITE{adapting}{% Akbari:2016:SAA% }. \NAMECITE{Adaptive}{% Aguilera:2010:APG,% Attiya:2002:AEM,% Choy:1994:ASM,% Kim:2007:AME,% Afek:2002:LLA,% Afek:2007:EAC,% Aksenov:2023:SLD,% Attiya:2002:ACA,% Attiya:2006:EAC,% Brodsky:2011:FAA,% Chaudhuri:1995:UAT,% Dolev:2007:PCT,% Kim:2012:TCL,% Richa:2013:CTM% }. \NAMECITE{Adding}{% Dickerson:2020:ACS% }. \NAMECITE{addition}{% Abujarad:2015:CAA% }. \NAMECITE{additive}{% Censor-Hillel:2015:BCC,% Censor-Hillel:2018:DCP,% Elkin:2023:IWA,% Parter:2017:VFT% }. \NAMECITE{addressing}{% Gao:2005:LFD% }. \NAMECITE{adjacent}{% Chalopin:2010:PSB% }. \NAMECITE{adjusting}{% Afek:2014:CTP,% Zhao:1992:SAA% }. \NAMECITE{advantage}{% Blin:2018:CDS% }. \NAMECITE{Adversarial}{% Pignolet:2015:ATD,% Chlebus:2009:MTM,% Hayes:2012:FGD,% Ogierman:2018:SCM,% Su:2019:DNB% }. \NAMECITE{adversaries}{% Herlihy:2013:TDA,% Jahja:2020:SLB,% Klonowski:2019:ODA,% Lewko:2015:CAA% }. \NAMECITE{adversary}{% Aspnes:2015:FRC,% Aumann:2005:ELC,% Delporte-Gallet:2011:DPA% }. \NAMECITE{advice}{% Delporte-Gallet:2015:WFA,% Fraigniaud:2009:DCA% }. \NAMECITE{against}{% Klonowski:2019:ODA,% Lewko:2015:CAA,% Su:2019:DNB% }. \NAMECITE{agent}{% Klasing:2017:MAR% }. \NAMECITE{agents}{% Broy:1987:SFI,% Dereniowski:2014:LEA,% Dobrev:2006:SBH,% Fischer:2008:AWE,% Kawamura:2015:FPM% }. \NAMECITE{aggregate}{% Zhao:2016:NOC% }. \NAMECITE{aggregation}{% Almeida:2017:FTA,% Yu:2011:SHA% }. \NAMECITE{Agreement}{% Holtby:2008:LBS,% Patra:2014:ABA,% Amdur:1992:MCB,% Attiya:1995:ASU,% Bouzid:2018:AOF,% Capdevielle:2017:UCA,% Chan:2020:LBS,% Coan:1993:EAU,% Cristian:1991:RAP,% Delporte-Gallet:2013:BAH,% Fekete:1990:AOA,% Florian:2022:SPA,% Ganesh:2021:OEP,% Hadzilacos:1987:CRB,% Herlihy:2005:TBS,% Lewko:2015:CAA,% Mendes:2015:MAB,% Mostefaoui:2008:CPR,% Panangaden:1992:CCK,% Sayeed:1995:OAA,% Zamsky:1995:OTB,% Zhao:1992:SAA,% Zielinski:2010:AWF,% Abraham:2023:CCB% }. \NAMECITE{agreement-oriented}{% Mostefaoui:2008:CPR% }. \NAMECITE{Algebraic}{% Broy:1992:AFS,% Censor-Hillel:2019:AMC,% He:1987:ASP,% Avin:2013:OOI% }. \NAMECITE{algorithm}{% Aguilera:2012:CPB,% Attiya:2002:ACA,% Barenboim:2010:SDM,% Borowsky:2001:BDS,% Bouchard:2019:AAP,% Cadambe:2017:CSA,% Chen:2011:EOA,% Chernoy:2010:PDT,% Ciuffoletti:1994:RVC,% Dani:2023:WJM,% Faloutsos:2004:LTO,% Feng:2015:NOU,% Fischer:2023:DAD,% Gerth:1999:SCL,% Ghosh:1993:SSA,% Ghosh:1997:SSA,% Groote:2001:AAW,% He:1987:ASP,% Huang:2006:EFC,% Ingram:2013:LEA,% Jia:2002:EDA,% Karaata:1999:SSA,% Ketchpel:1999:SCA,% Khan:2008:FDA,% Metivier:2011:OBC,% Nesetril:2016:DLT,% Pandurangan:2014:XLS,% Pixley:1988:IGC,% Pogosyants:2000:VRC,% Rhee:1998:MAR,% Saad:2017:TEE,% Sayeed:1995:OAA,% Schneider:2010:OMI,% Wawrzyniak:2015:LAA,% Welch:1993:MDP,% Yang:1995:FSM,% Zhao:1992:SAA% }. \NAMECITE{Algorithms}{% Mattern:1987:ADT,% Ackermann:2011:DAQ,% Afek:2007:EAC,% Alcantara:2019:TLC,% Alnuweiri:1991:OGA,% Alur:1996:FTB,% Anderson:1997:ULS,% Anderton:2021:WBA,% Baldoni:1995:CHP,% Bar-Noy:1990:OBA,% Bar-Noy:1991:CAO,% Barenboim:2014:CAD,% Ben-Basat:2023:ODC,% Bernstein:1987:PTC,% Bose:2013:BLD,% Brodsky:2011:FAA,% Censor-Hillel:2019:FDA,% Censor-Hillel:2020:DLD,% Chandy:1986:SAP,% Charron-Bost:2021:MAS,% Chernoy:2010:PDT,% Chung:2017:DAL,% Cicerone:2018:GRM,% Daymude:2023:CAM,% Eden:2022:STD,% Eftekhari:2016:DAB,% Elkin:2006:EAC,% Fekete:1990:AOA,% Gold:1987:DAC,% Hegeman:2015:SLD,% Jeavons:2016:FNS,% Kanellakis:1992:EPA,% Kesselman:2010:PMQ,% Khan:2012:EDA,% Korman:2013:TML,% Koufogiannakis:2011:DAC,% Lamport:1990:TAD,% Lee:2005:RRI,% Mittal:2007:FOT,% Moser:2014:RFT,% Panconesi:2001:SSD,% Panconesi:2010:FPD,% Pettie:2010:DAU,% Singhal:1991:CDF,% Srikanth:1987:SAB,% Tsuchiya:2011:VCA,% Venkatesan:1994:EAO% }. \NAMECITE{allocation}{% Joung:2010:QSG,% Rhee:1998:MAR,% Yamaguchi:2003:PSR% }. \NAMECITE{allow}{% Fraigniaud:2001:IRS% }. \NAMECITE{Allowing}{% Becker:2015:AEN% }. \NAMECITE{Almost}{% Anagnostides:2023:AUO,% Balliu:2021:AGP% }. \NAMECITE{alternative}{% Klasing:2017:MAR% }. \NAMECITE{alternator}{% Gouda:2007:A% }. \NAMECITE{Alternators}{% Huang:2003:AUR% }. \NAMECITE{altruists}{% Kash:2012:OSS% }. \NAMECITE{amnesiac}{% Hussak:2023:TAF% }. \NAMECITE{amoebot}{% Daymude:2023:CAM% }. \NAMECITE{among}{% Basten:1997:VTC% }. \NAMECITE{amortized}{% Baig:2023:LLC% }. \NAMECITE{Analysis}{% Florian:2022:SPA,% Pachl:1991:ATP,% Brookes:1991:DAN,% Brunekreef:1996:DAD,% Cavalli:1988:EAS,% Dinitz:2018:SAD,% Halpern:2005:KTA,% Halpern:2010:KBA,% Lundy:1991:SAD% }. \NAMECITE{analyzing}{% Lubitch:1995:CSN% }. \NAMECITE{{AND}-requests}{% Tay:1995:DER% }. \NAMECITE{anniversary}{% Dolev:2008:ISI% }. \NAMECITE{Announcement}{% Attiya:2012:ABR% }. \NAMECITE{Anonymous}{% Bonnet:2013:AAS,% Bouzid:2018:AOF,% Guerraoui:2007:AFT,% Aspnes:2006:RBB,% Capdevielle:2017:UCA,% Chalopin:2012:EPA,% Dereniowski:2014:LEA,% DiLuna:2020:MPA,% DiStefano:2017:OGO,% Feinerman:2017:BBS,% Fraigniaud:2001:ALU,% Gelashvili:2018:OSC,% Gorain:2023:FSD,% Kranakis:2001:DCO,% Pelc:2007:AAA,% Wawrzyniak:2015:LAA% }. \NAMECITE{Anti}{% Zielinski:2010:AWF% }. \NAMECITE{Anti-{}}{% Zielinski:2010:AWF% }. \NAMECITE{{ANTS}}{% Feinerman:2017:AP% }. \NAMECITE{{AODV}}{% vanGlabbeek:2016:MVA% }. \NAMECITE{application}{% DiStefano:2017:OGO,% Helary:1994:TCD% }. \NAMECITE{applications}{% Afek:2002:LLA,% Aspnes:2009:EMT,% Aspnes:2012:MAS,% Attiya:2002:ACA,% Berenbrink:2016:ERB,% DiLuna:2022:TTM,% Korman:2008:CSD,% Mittal:2005:TAC% }. \NAMECITE{applied}{% Lozes:2010:SEL% }. \NAMECITE{Appraising}{% Apt:1988:AFL,% Fischer:2003:ATD% }. \NAMECITE{approach}{% Akbari:2016:SAA,% Ancilotti:1988:AED,% Aspnes:2012:MAS,% Bouchard:2019:AAP,% Chu:2001:DTA,% Cicerone:2019:AAP,% DAngelo:2017:UAG,% Dieudonne:2015:DPA,% Ebergen:1991:FAD,% Gray:1998:LAM,% Janssen:1999:CAS,% Josephs:1988:SBA,% Ladan-Mozes:2008:OAL,% Lam:1992:SMS% }. \NAMECITE{Approximate}{% Patt-Shamir:2008:ADT,% Angluin:2008:SPP,% Bilo:2021:CAN,% Censor-Hillel:2021:FAS,% Fekete:1990:AOA,% Huang:2020:CCA% }. \NAMECITE{Approximating}{% Fischer:2008:AWE% }. \NAMECITE{approximation}{% Censor-Hillel:2020:FDA,% Goos:2014:NST,% Halldorsson:2019:DAS,% Khan:2008:FDA,% Khan:2012:EDA,% Kuhn:2005:CTD,% Wawrzyniak:2015:LAA% }. \NAMECITE{approximations}{% Lenzen:2013:DMD% }. \NAMECITE{arbiters}{% Black:1986:EDI% }. \NAMECITE{Arbitrary}{% Cicerone:2019:AAP,% Aharonson:1995:CNA,% Beauquier:2007:RSS,% Chalopin:2012:EPA,% Czyzowicz:2012:HMW,% Datta:2000:SSD,% Dereniowski:2014:LEA,% Dobrev:2006:SBH,% Gillani:2021:LBN% }. \NAMECITE{Arbitration}{% Lamport:2003:AFS% }. \NAMECITE{Arbitration-free}{% Lamport:2003:AFS% }. \NAMECITE{architecture}{% Hierons:2014:TIR% }. \NAMECITE{architectures}{% Cadambe:2017:CSA,% Hierons:2008:CSD% }. \NAMECITE{arrays}{% Alnuweiri:1991:OGA,% Lisper:1991:CTC,% Myoupo:1993:MDP,% Rajopadhye:1989:SSA% }. \NAMECITE{arrivals}{% Anderton:2021:WBA% }. \NAMECITE{Arrowhead}{% Lamport:1992:CLA% }. \NAMECITE{aspect}{% Kurki-Suonio:2003:ASI% }. \NAMECITE{aspect-oriented}{% Kurki-Suonio:2003:ASI% }. \NAMECITE{aspects}{% Tabareau:2019:CFD% }. \NAMECITE{{Aspnes}}{% Pogosyants:2000:VRC% }. \NAMECITE{assertional}{% Hesselink:1994:WFL% }. \NAMECITE{asset}{% Kuznetsov:2023:PAA% }. \NAMECITE{Assigning}{% Fraigniaud:2001:ALU% }. \NAMECITE{assignment}{% Halldorsson:2019:DAS% }. \NAMECITE{assuming}{% Dolev:1993:SSD% }. \NAMECITE{assumption}{% Duflot:2004:RDP% }. \NAMECITE{assumptions}{% Aguilera:2008:IOS,% DAngelo:2017:UAG,% Korman:2013:TML% }. \NAMECITE{assurance}{% Dolev:2003:SAL% }. \NAMECITE{Asymptotically}{% Fekete:1990:AOA% }. \NAMECITE{Asynchronous}{% Bouchard:2019:AAP,% Brown:1990:AM,% Joung:2000:AGM,% Kuznetsov:2022:ARB,% Patra:2014:ABA,% Abraham:2022:RAF,% Abraham:2023:RCA,% Aspnes:2003:RPA,% Aumann:2005:ELC,% Bazzi:2001:ACA,% Bonnet:2013:AAS,% Busch:2008:CFM,% Censor-Hillel:2019:MAD,% Charron-Bost:1996:SAC,% Cicerone:2019:EPF,% Dereniowski:2014:LEA,% Goubault:2018:GCV,% Groote:2001:AAW,% Guerraoui:2002:NBA,% Hurfin:1999:SFA,% Jonsson:1994:FAT,% Kohler:2012:FCS,% Kuznetsov:2023:PAA,% Lamport:2006:LBA,% Lewko:2015:CAA,% Livesey:1993:NCA,% Lubitch:1995:CSN,% Mashreghi:2021:BMS,% Merayo:2018:PTA,% Panangaden:1992:CCK,% Sayeed:1995:OAA,% Schiper:1997:ECAa,% Schiper:1997:ECAb,% Singh:1995:HAM,% Xu:2008:SAD,% Cicerone:2019:AAP% }. \NAMECITE{at-most-once}{% Chaudhuri:1995:UAT% }. \NAMECITE{{ATM}}{% Flammini:2001:ALB% }. \NAMECITE{Atomic}{% Attiya:1995:ASU,% Merritt:1994:ARO,% Ahamad:1990:FTA,% Anta:2021:TLD,% Bouzid:2018:AOF,% Cadambe:2017:CSA,% Dolev:2005:GIA,% Gilbert:2010:RRR,% Guerraoui:2002:NBA,% Hadzilacos:2022:ARR,% Zielinski:2008:LLA% }. \NAMECITE{atomicity}{% Dolev:1993:SSD,% Kshemkalyani:1998:CAD,% Lamport:1990:TAD% }. \NAMECITE{attack}{% Hayes:2012:FGD% }. \NAMECITE{attacks}{% Su:2019:DNB% }. \NAMECITE{authenticated}{% Beimel:2005:ERC,% Srikanth:1987:SAB% }. \NAMECITE{authentication}{% Gong:1995:ENA% }. \NAMECITE{automata}{% Michail:2018:TDC,% Sangiorgi:2012:CTT% }. \NAMECITE{automated}{% Abujarad:2015:CAA,% Bonakdarpour:2012:FAD% }. \NAMECITE{Automatic}{% Manduchi:2000:AVC% }. \NAMECITE{Automation}{% Lin:2019:AFT% }. \NAMECITE{autonomous}{% Kozlov:2012:GIA,% Pagli:2015:GCT% }. \NAMECITE{availability}{% Yu:2009:OIO% }. \NAMECITE{available}{% Yu:2011:SHA% }. \NAMECITE{averaged}{% Balliu:2023:NEA% }. \NAMECITE{award}{% Attiya:2012:ABR% }. \NAMECITE{aware}{% Avin:2020:DAN% }. \NAMECITE{axiomatic}{% Meldal:1991:CAS% }. \NAMECITE{backoff}{% Anderton:2021:WBA% }. \NAMECITE{backup}{% Barenboim:2022:DBP,% Halldorsson:2018:DBP% }. \NAMECITE{balancing}{% Ackermann:2011:DAQ,% Akbari:2016:SAA,% Goren:2023:SCH,% Herlihy:2006:SSS,% Kleinberg:2011:LBR,% Lenzen:2016:TBP,% Roussopoulos:2006:PLB% }. \NAMECITE{balls}{% Becchetti:2019:SSR% }. \NAMECITE{balls-into-bins}{% Becchetti:2019:SSR% }. \NAMECITE{bandwidth}{% Censor-Hillel:2020:DLD% }. \NAMECITE{bare}{% Chlebus:2022:DBB% }. \NAMECITE{bare-bones}{% Chlebus:2022:DBB% }. \NAMECITE{barrier}{% Avin:2018:BBR,% Eftekhari:2016:DAB% }. \NAMECITE{based}{% Aguilera:2012:PSB,% Ahamad:1990:FTA,% Alur:1996:FTB,% Baldoni:2006:OPB,% Bonakdarpour:2012:FAD,% Chiao:2002:SSQ,% Ellen:2020:CBC,% Fagin:1997:KBP,% Feigenbaum:2005:BBM,% Ganesh:2007:PCS,% Groote:2001:AAW,% Halpern:2000:NKB,% Halpern:2004:UCK,% Halpern:2010:KBA,% Helary:2000:CBP,% Hurfin:1999:SFA,% Josephs:1988:SBA,% Li:2005:OSB,% Mostefaoui:2004:CBC,% Mostefaoui:2006:SCB,% Sharma:2012:WBG,% Singh:1999:CBS,% Tarkoma:2006:OCB,% Vogler:1991:FSB,% Yamaguchi:2003:PSR% }. \NAMECITE{batched}{% Anderton:2021:WBA% }. \NAMECITE{{Bayesian}}{% Su:2019:DNB% }. \NAMECITE{{BDDs}}{% Enders:1993:GBS% }. \NAMECITE{be}{% Feng:2020:WCS,% Kanellakis:1992:EPA,% Moniz:2011:RCH,% Pignolet:2013:MSW% }. \NAMECITE{Beeping}{% Afek:2013:BMI% }. \NAMECITE{before}{% Feinerman:2017:BBS% }. \NAMECITE{behavioral}{% Celikkan:1995:GDI% }. \NAMECITE{Behavioural}{% Nielsen:1990:BNE% }. \NAMECITE{being}{% Blin:2018:CDS% }. \NAMECITE{belated}{% Dijkstra:1986:BPS% }. \NAMECITE{{Ben}}{% Aguilera:2012:CPB% }. \NAMECITE{{Ben-Or}}{% Aguilera:2012:CPB% }. \NAMECITE{benign}{% Charron-Bost:2009:HMC% }. \NAMECITE{{Berthold}}{% Attiya:2016:SIM% }. \NAMECITE{best}{% Attiya:2012:ABR,% Fanelli:2011:BRD% }. \NAMECITE{between}{% Aspnes:2006:RBB,% Chalopin:2010:PSB,% Danek:2010:CCG,% Lenzen:2017:SCT% }. \NAMECITE{beyond}{% Chan:2020:LBS% }. \NAMECITE{{BG}}{% Borowsky:2001:BDS% }. \NAMECITE{{BGP}}{% Feigenbaum:2005:BBM% }. \NAMECITE{{BGP}-based}{% Feigenbaum:2005:BBM% }. \NAMECITE{bias}{% Volk:2022:SOB% }. \NAMECITE{biased}{% Cruciani:2023:PTE% }. \NAMECITE{bidirectional}{% vanLeeuwen:1987:IUD% }. \NAMECITE{binary}{% Amdur:1992:MCB% }. \NAMECITE{bins}{% Becchetti:2019:SSR% }. \NAMECITE{bipartite}{% Goos:2014:NST,% Huang:2009:DEC% }. \NAMECITE{bit}{% Bar-Noy:1990:OBA,% Bar-Noy:1991:CAO,% Metivier:2011:OBC% }. \NAMECITE{bits}{% Arfaoui:2020:DVN,% Boczkowski:2019:MMS% }. \NAMECITE{black}{% Dobrev:2006:SBH% }. \NAMECITE{blocking}{% Guerraoui:2002:NBA,% Moir:2001:LPU,% Shafiei:2019:NBP% }. \NAMECITE{board}{% Kleinberg:2011:LBR% }. \NAMECITE{bones}{% Chlebus:2022:DBB% }. \NAMECITE{boost}{% Guerraoui:2008:WFD% }. \NAMECITE{boosters}{% Guerraoui:2008:FDT% }. \NAMECITE{Booting}{% Widder:2007:BCS% }. \NAMECITE{born}{% Gouda:1986:NJB% }. \NAMECITE{both}{% Cavalli:1988:EAS% }. \NAMECITE{bound}{% Abboud:2020:FVN,% Anderson:2002:ILB,% Brandt:2020:TLB,% Castaneda:2010:NCT,% Feng:2015:NOU,% Holtby:2008:LBS,% Kim:2012:TCL% }. \NAMECITE{Bounded}{% Censor-Hillel:2015:BCC,% Hendler:2009:BWC,% Israeli:1993:BTS,% Avin:2020:DAN,% Barenboim:2013:DDE,% Berman:1993:FCN,% Flammini:2001:ALB,% Hesselink:1999:PUB,% Kessels:1990:DSD,% Kessels:1995:CDC,% Nesetril:2016:DLT,% Schneider:2010:OMI% }. \NAMECITE{Bounded-Contention}{% Censor-Hillel:2015:BCC% }. \NAMECITE{bounded-independence}{% Schneider:2010:OMI% }. \NAMECITE{Bounded-wait}{% Hendler:2009:BWC% }. \NAMECITE{Bounding}{% Bose:2013:BLD,% Valapil:2020:PSW% }. \NAMECITE{Bounds}{% Hajek:1991:BET,% Alon:2005:TBS,% Babaoglu:1988:RBC,% Boldi:2003:LBS,% Bruschi:1997:LBB,% Castaneda:2010:NCT,% Chechik:2022:SSS,% Czerner:2023:LBS,% Emek:2011:NBC,% Fatourou:2017:LUB,% Gillani:2021:LBN,% Gong:1995:ENA,% Goos:2017:LLB,% Halldorsson:2016:NOB,% Herlihy:2005:TBS,% Jahja:2020:SLB,% Kupavskii:2021:LBS,% Lamport:2006:LBA,% Lenzen:2016:TBP,% Pignolet:2016:ULB,% Taubenfeld:2014:TSB% }. \NAMECITE{branching}{% Baier:1998:MCP% }. \NAMECITE{Breaking}{% Avin:2018:BBR% }. \NAMECITE{Breathe}{% Feinerman:2017:BBS% }. \NAMECITE{bridge}{% Karaata:1999:SSA% }. \NAMECITE{Broadcast}{% Mashreghi:2021:BMS,% Aspnes:2006:RBB,% Brunekreef:1996:DAD,% Bruschi:1997:LBB,% Chlebus:2006:PWB,% Ciuffoletti:1994:RVC,% Ganesh:2021:OEP,% Ghaffari:2015:RBR,% Gold:1987:DAC,% Moser:1993:NSC,% Pagourtzis:2017:RBR,% Pignolet:2016:ULB,% Zielinski:2008:LLA,% Pedone:2002:HMS% }. \NAMECITE{Broadcasting}{% Emek:2009:BUR,% Fusco:2010:BUR,% Kowalski:2005:BUA,% Kowalski:2007:ODB,% Berenbrink:2016:ERB,% Chlebus:2002:DBA,% Emek:2016:EDS,% Fraigniaud:2001:IRS,% Galcik:2013:EBR,% Gasieniec:2008:TES,% Halpern:1991:CSP,% Jain:2007:BSR% }. \NAMECITE{broadcasts}{% Babaoglu:1988:RBC,% Srikanth:1987:SAB% }. \NAMECITE{broker}{% Coulson:2001:ICG% }. \NAMECITE{buffered}{% Kesselman:2010:PMQ% }. \NAMECITE{buffers}{% Kessels:1990:DSD% }. \NAMECITE{Building}{% Jain:2007:BSR% }. \NAMECITE{bulletin}{% Kleinberg:2011:LBR% }. \NAMECITE{{Byzantine}}{% Abraham:2006:BDP,% Abraham:2023:CCB,% Alon:2005:TBS,% Amdur:1992:MCB,% Bazzi:2000:SBQ,% Bazzi:2001:ACA,% Bouchard:2016:BGN,% Bouchard:2022:BGP,% Bravo:2022:MBC,% Correia:2005:LCB,% Defago:2020:SSG,% Delporte-Gallet:2013:BAH,% El-Mhamdi:2022:GDB,% Florian:2022:SPA,% Ganesh:2021:OEP,% Goren:2021:OTS,% Hadzilacos:1987:CRB,% Holtby:2008:LBS,% Kuznetsov:2022:ARB,% Malkhi:1998:BQS,% Malkhi:2003:OSB,% Mendes:2015:MAB,% Naor:2024:ELR,% Okun:2008:RSM,% Patra:2014:ABA,% Sayeed:1995:OAA,% Widder:2012:CPM,% Zamsky:1995:OTB,% Zhao:1992:SAA% }. \NAMECITE{{Byzantine}-resilient}{% Correia:2005:LCB% }. \NAMECITE{{C}}{% Gramoli:2018:TST% }. \NAMECITE{Cache}{% Brinksma:1999:CCD,% Graf:1999:CSC% }. \NAMECITE{caching}{% Gerth:1999:SCL,% Janssen:1999:CAS,% Ladkin:1999:LCT% }. \NAMECITE{Calculational}{% Kessels:1995:CDC% }. \NAMECITE{calculi}{% Gorla:2010:TPC% }. \NAMECITE{calculus}{% Lozes:2010:SEL% }. \NAMECITE{Calendar}{% Anonymous:1986:CE% }. \NAMECITE{can}{% Feng:2020:WCS,% Kanellakis:1992:EPA,% Moniz:2011:RCH% }. \NAMECITE{cannot}{% Pignolet:2013:MSW% }. \NAMECITE{canonical}{% Daymude:2023:CAM% }. \NAMECITE{capacity}{% Issa:2020:EHT% }. \NAMECITE{capture}{% MacKenzie:2003:DCS% }. \NAMECITE{capture-resilient}{% MacKenzie:2003:DCS% }. \NAMECITE{CaRuD}{% Hesselink:2001:WFC% }. \NAMECITE{case}{% Afek:1995:CGC,% Bonnet:2013:AAS,% Goldreich:1991:CCP,% Kuhn:2010:TWC,% Moses:1986:CHO,% Pogosyants:2000:VRC% }. \NAMECITE{Causal}{% Ahamad:1995:CMD,% Alvisi:2002:CTC,% Baldoni:2006:OPB,% Critchlow:1996:ISA,% Ingram:2013:LEA,% Kshemkalyani:1998:NSC,% Schwarz:1994:DCR% }. \NAMECITE{Causality}{% Alvisi:2002:CTC,% Kshemkalyani:1998:CAD,% Basten:1997:VTC% }. \NAMECITE{causally}{% Charron-Bost:1996:SAC% }. \NAMECITE{Causing}{% Engelhardt:2009:CCC% }. \NAMECITE{{CB}}{% Afek:2014:CTP% }. \NAMECITE{{CCS}}{% Enders:1993:GBS% }. \NAMECITE{centralized}{% Back:1989:DPN% }. \NAMECITE{chain}{% vanGlabbeek:2023:CCP% }. \NAMECITE{chains}{% Walter:2004:DRM% }. \NAMECITE{Change}{% Anonymous:2000:ETC,% Attiya:2009:EAA% }. \NAMECITE{Changes}{% Schneider:1995:CDC% }. \NAMECITE{Changing}{% Schneider:1990:CG% }. \NAMECITE{channel}{% Bienkowski:2016:RME,% Fineman:2019:CRF,% Klonowski:2019:ODA% }. \NAMECITE{channels}{% Chlebus:2009:MTM,% Engelhardt:2009:CCC,% Halldorsson:2019:LMC,% Shafer:1995:IHC% }. \NAMECITE{Characterization}{% Graf:1999:CSC% }. \NAMECITE{Cheating}{% Moses:1986:CHO% }. \NAMECITE{checkability}{% Fraigniaud:2013:LCW% }. \NAMECITE{checkable}{% Balliu:2023:LCP% }. \NAMECITE{Checking}{% Hierons:2008:CSD,% Aminof:2018:PMC,% Baier:1998:MCP,% Enders:1993:GBS,% Guerraoui:2010:MCT% }. \NAMECITE{checkpoints}{% Helary:2000:CBP% }. \NAMECITE{Chemical}{% Tabareau:2019:CFD,% Chen:2017:SFC,% Severson:2021:CCD% }. \NAMECITE{chip}{% Dally:1986:TRC,% Fugger:2012:RFT% }. \NAMECITE{chirality}{% Cicerone:2019:EPF% }. \NAMECITE{Choice}{% Bar-Noy:1989:CCL% }. \NAMECITE{Choices}{% Cruciani:2021:PTC% }. \NAMECITE{Choreographies}{% Carbone:2018:CL% }. \NAMECITE{churn}{% Kuhn:2010:TWC% }. \NAMECITE{circle}{% Flocchini:2017:DCM,% Kozlov:2012:GIA% }. \NAMECITE{circuits}{% Anantharaman:1986:CPE,% Ebergen:1991:FAD,% Martin:1986:CCP,% Udding:1986:FMD% }. \NAMECITE{circulation}{% Datta:2000:SSD,% Huang:1993:SSD,% Huang:1997:SST% }. \NAMECITE{citizen}{% Cazzola:2003:RMI% }. \NAMECITE{class}{% Baldoni:1995:CHP,% Cazzola:2003:RMI,% Manduchi:2000:AVC,% Marzullo:1994:EDC,% Peleg:1997:CWC,% Singhal:1991:CDF% }. \NAMECITE{classes}{% Mostefaoui:2008:CPR,% Nanongkai:2022:ECC,% Nesetril:2016:DLT% }. \NAMECITE{classification}{% Ellen:2020:CBC% }. \NAMECITE{classifying}{% Udding:1986:FMD% }. \NAMECITE{clique}{% Censor-Hillel:2019:AMC,% Censor-Hillel:2021:FAS% }. \NAMECITE{cliques}{% Brakerski:2011:DDL,% Czumaj:2020:DCC,% Eden:2022:STD% }. \NAMECITE{Clock}{% Halpern:1991:CSP,% Cristian:1989:PCS,% Drummond:1993:LCC,% Fan:2006:GCS,% Huang:1999:SSC,% Kshemkalyani:2004:PLC,% Widder:2007:BCS% }. \NAMECITE{clocks}{% Dima:2012:SSS,% Ingram:2013:LEA,% Liskov:1993:PUS,% Stoller:2000:DGP,% Torres-Rojas:1999:PCC,% Valapil:2020:PSW,% Widder:2009:TMA% }. \NAMECITE{Close}{% Roditty:2016:CLS,% Pagli:2015:GCT% }. \NAMECITE{Closed}{% Lubitch:1995:CSN% }. \NAMECITE{Closing}{% Danek:2010:CCG% }. \NAMECITE{closure}{% Engelhardt:2009:CCC,% Lisper:1991:CTC% }. \NAMECITE{cloud}{% Afek:2024:DCC% }. \NAMECITE{clustered}{% Groselj:1991:DSC% }. \NAMECITE{clustering}{% Eyal:2011:DDC% }. \NAMECITE{coded}{% Cadambe:2017:CSA% }. \NAMECITE{codes}{% Michail:2016:SEL,% Verhoeff:1988:DIC% }. \NAMECITE{Coding}{% Censor-Hillel:2015:BCC,% Jain:2007:BSR% }. \NAMECITE{coin}{% Boyle:2014:LRC,% Cavalli:1988:EAS% }. \NAMECITE{collaborative}{% Brandt:2020:TLB,% Karayel:2022:SEC% }. \NAMECITE{collect}{% Afek:2007:EAC,% Attiya:2002:ACA,% Attiya:2006:EAC% }. \NAMECITE{Collecting}{% Maheshwari:1997:CCD% }. \NAMECITE{collection}{% Jonker:1992:FGC,% Pixley:1988:IGC% }. \NAMECITE{colliding}{% Czyzowicz:2015:LSC% }. \NAMECITE{collision}{% Bar-Yehuda:1991:EES,% Chockler:2008:CCD,% Ghaffari:2015:RBR,% Groote:2001:AAW% }. \NAMECITE{collusion}{% Kash:2012:OSS% }. \NAMECITE{coloration}{% Huang:2009:DEC% }. \NAMECITE{Coloring}{% Moscibroda:2008:CUR,% Barenboim:2013:DDE,% Barenboim:2014:CAD,% Chung:2017:DAL,% Fraigniaud:2009:DCA,% Ghaffari:2020:IDD,% Ghaffari:2021:IDC,% Ghosh:1993:SSA% }. \NAMECITE{colouring}{% Jeavons:2016:FNS% }. \NAMECITE{Combinatorial}{% Barenboim:2014:CAD,% Castaneda:2010:NCT,% Goubault:2018:GCV% }. \NAMECITE{combining}{% Hendler:2009:BWC% }. \NAMECITE{Comments}{% Kapus-Kolar:1999:CDP% }. \NAMECITE{commerce}{% Ketchpel:1999:SCA% }. \NAMECITE{commit}{% Chockler:2021:MSD,% Coan:1990:TCR,% Guerraoui:2002:NBA% }. \NAMECITE{commodity}{% Awerbuch:2009:GDO% }. \NAMECITE{Common}{% Neiger:1993:CKC,% Mizrahi:2008:CCC,% Panangaden:1992:CCK% }. \NAMECITE{Common2}{% Afek:2007:CES% }. \NAMECITE{communicate}{% Becker:2015:AEN% }. \NAMECITE{communicating}{% Brookes:1991:DAN,% Broy:1987:SFI,% Josephs:1988:SBA,% Lenzen:2017:SCT,% Lundy:1991:SAD,% Martin:1986:CCP% }. \NAMECITE{Communication}{% Abraham:2023:CCB,% Alistarh:2018:CER,% Helary:2000:CBP,% Huang:2020:CCA,% Afek:1993:SSU,% Alon:2019:RCH,% Babaoglu:1988:RBC,% Beimel:2005:ERC,% Boczkowski:2019:MMS,% Busch:2018:TCI,% Charron-Bost:1996:SAC,% Chlebus:2022:DBB,% Cruciani:2023:PTE,% Engelhardt:2009:CCC,% Feinerman:2017:BBS,% Garg:2007:TME,% Gasieniec:2007:FCK,% Hassin:2001:SCN,% Lamport:1986:ICa,% Lamport:1986:ICb,% Lin:1988:MCC,% Maxemchuk:1989:PVC,% Moses:1986:CHO,% Pignolet:2016:ULB,% Schiper:2006:DGC,% Woodruff:2017:WDC,% Zhao:2016:NOC% }. \NAMECITE{Communication-based}{% Helary:2000:CBP% }. \NAMECITE{Communication-efficient}{% Alistarh:2018:CER% }. \NAMECITE{communication-time}{% Zhao:2016:NOC% }. \NAMECITE{communications}{% Merayo:2018:PTA% }. \NAMECITE{Compact}{% Blin:2018:CDS,% Gavoille:2003:CLD,% Korman:2008:CSD,% Retvari:2013:CPR,% Korman:2007:GCL,% Korman:2015:FCS% }. \NAMECITE{comparison}{% Golab:2012:REI% }. \NAMECITE{compatible}{% Feigenbaum:2011:ICI% }. \NAMECITE{Competitive}{% Richa:2013:CTM,% King:2018:RCJ,% Ogierman:2018:SCM% }. \NAMECITE{compilation}{% Lengauer:1991:TSC% }. \NAMECITE{Compiling}{% Anantharaman:1986:CPE,% Martin:1986:CCP% }. \NAMECITE{complete}{% Chan:1988:DEC,% Ketchpel:1999:SCA,% Meldal:1991:CAS,% Sayeed:1995:OAA% }. \NAMECITE{completely}{% Finkel:1994:DTP% }. \NAMECITE{complexities}{% Balliu:2023:NEA% }. \NAMECITE{complexity}{% Abraham:2023:CCB,% Abujarad:2015:CAA,% Afek:1995:CGC,% Amdur:1992:MCB,% Anderson:2002:ILB,% Baig:2023:LLC,% Capdevielle:2017:UCA,% Chatterjee:2020:CLE,% Correia:2005:LCB,% Czerner:2023:LBS,% Danek:2010:CCG,% Ellen:2008:SCU,% Ellen:2020:CBC,% Esparza:2021:CVP,% Fraigniaud:2001:IRS,% Gelashvili:2018:OSC,% Georgiou:2004:CSI,% Georgiou:2011:MDC,% Goldreich:1991:CCP,% Hendler:2011:RME,% Huang:2020:CCA,% Kim:2012:TCL,% Kipnis:2010:CDS,% Lenzen:2017:SCT,% Lewko:2015:CAA,% Metivier:2011:OBC,% Mizoguchi:2012:SCS% }. \NAMECITE{complexity-based}{% Ellen:2020:CBC% }. \NAMECITE{Component}{% Czumaj:2024:CSL,% Bonakdarpour:2012:FAD% }. \NAMECITE{component-based}{% Bonakdarpour:2012:FAD% }. \NAMECITE{components}{% Kranakis:2001:DCO% }. \NAMECITE{Composable}{% Severson:2021:CCD% }. \NAMECITE{Composite}{% Anderson:1993:CR,% Anderson:1994:MWC% }. \NAMECITE{composition}{% Dolev:2007:PCT,% Engelhardt:2009:CCC% }. \NAMECITE{compositional}{% Janssen:1999:CAS,% Pandya:1991:PLC% }. \NAMECITE{computability}{% Goubault:2018:GCV,% Havlicek:2000:COW,% Mostefaoui:2008:CPR,% Shavit:2016:CRD% }. \NAMECITE{Computable}{% Havlicek:2000:COW% }. \NAMECITE{Computation}{% Angluin:2006:CNP,% Abraham:2022:RAF,% Afek:1995:CGC,% Angluin:2008:FCP,% Antoniadis:2018:EDC,% Beimel:2007:PCI,% Chen:2017:SFC,% Cho:2022:DCC,% Czumaj:2024:CSL,% Dani:2017:SMP,% Gillani:2021:LBN,% Goldreich:1991:CCP,% Halpern:2010:KBA,% Korman:2015:FCS,% Lenzen:2019:DDC,% Michail:2022:DCR,% Mittal:2004:FMS,% Mittal:2005:TAC,% Saad:2017:TEE,% Sarma:2015:EDC,% Severson:2021:CCD,% Woodruff:2017:WDC,% Zhao:2016:NOC% }. \NAMECITE{computational}{% Angluin:2007:CPP,% Taubenfeld:2020:CSP% }. \NAMECITE{computations}{% Abboud:2020:FVN,% Ahamad:1990:FTA,% Basten:1997:VTC,% Censor-Hillel:2019:MAD,% Censor-Hillel:2023:CDC,% Censor-Hillel:2023:DCF,% Helary:2000:CBP,% Kshemkalyani:1998:CAD,% Nanongkai:2022:ECC,% Schwarz:1994:DCR% }. \NAMECITE{Compute}{% DAngelo:2014:GRU,% Alcantara:2019:TLC% }. \NAMECITE{computer}{% Joung:2002:CTP% }. \NAMECITE{Computing}{% Bilo:2021:CAN,% Halldorsson:2018:CLI,% Lisper:1991:CTC,% Afek:2024:DCC,% Charron-Bost:2009:HMC,% Chiao:2002:SSQ,% Clarke:1986:DCI,% Fich:2003:HIR,% Fischer:2003:ATD,% Flocchini:2017:DCM,% Fraigniaud:2009:DCA,% Fraigniaud:2013:LCW,% Fugger:2012:RFT,% Guerraoui:2007:AFT,% Hella:2015:WMD,% Kranakis:2001:DCO,% Moser:2014:RFT,% Schneider:1995:CDC,% Shafer:1995:IHC% }. \NAMECITE{concatenation}{% Afek:2002:RPC% }. \NAMECITE{concerning}{% Korman:2013:TML% }. \NAMECITE{Concise}{% Malkhi:2007:CVV% }. \NAMECITE{Concurrency}{% Sangiorgi:2012:CTT,% Afek:2007:CES,% Agrawal:1987:DOC,% Bernstein:1987:PTC,% Daymude:2023:CAM,% Dickerson:2020:ACS,% Meyer:1989:SST% }. \NAMECITE{Concurrent}{% Ackermann:2016:CID,% Jayanti:2021:CDS,% Li:2006:CMR,% Panangaden:1992:CCK,% Vidyasankar:1990:CRW,% Afek:2014:CTP,% Agarwal:2007:EDT,% Aksenov:2023:SLD,% Broy:1987:SFI,% Goldman:1991:HCL,% Hesselink:2001:WFC,% Lin:1988:MCC% }. \NAMECITE{Condition}{% Mostefaoui:2004:CBC,% Mostefaoui:2006:SCB,% Schmid:2001:HRF% }. \NAMECITE{Condition-based}{% Mostefaoui:2004:CBC,% Mostefaoui:2006:SCB% }. \NAMECITE{conditional}{% Fich:2006:IWC,% Nanongkai:2022:ECC% }. \NAMECITE{conditions}{% Kshemkalyani:1998:NSC,% Moser:1993:NSC,% Mostefaoui:2004:CBC,% Taubenfeld:2020:CSP% }. \NAMECITE{Confidential}{% Georgiou:2020:CG% }. \NAMECITE{configurable}{% Coulson:2002:DCR% }. \NAMECITE{congenial}{% Joung:2002:CTP% }. \NAMECITE{{CONGEST}}{% Chechik:2022:SSS,% Czumaj:2020:DCC,% Levi:2021:PTP,% Mashreghi:2021:BMS% }. \NAMECITE{congested}{% Censor-Hillel:2019:AMC,% Censor-Hillel:2021:FAS% }. \NAMECITE{Congestion}{% Haeupler:2021:LCS,% Abboud:2020:FVN,% Ackermann:2016:CID,% Anagnostides:2023:AUO,% Bilo:2021:CAN,% Fanelli:2011:BRD,% Flammini:2001:ALB,% Kitamura:2021:LCS% }. \NAMECITE{congruence}{% Vogler:1991:FSB% }. \NAMECITE{connected}{% Alon:2019:RCH% }. \NAMECITE{connection}{% Attiya:1997:LHR% }. \NAMECITE{connections}{% Hella:2015:WMD% }. \NAMECITE{Connectivity}{% Hadzilacos:1987:CRB,% Censor-Hillel:2020:FDA% }. \NAMECITE{Consensus}{% Bar-Noy:1991:CAO,% Chockler:2008:CCD,% Widder:2012:CPM,% Winkler:2019:CRD,% Abraham:2023:RCA,% Afek:2010:SCP,% Aguilera:2000:FDC,% Aguilera:2012:CPB,% Alistarh:2018:CER,% Aspnes:2003:RPA,% Aspnes:2012:MAS,% Aspnes:2015:FRC,% Aumann:2005:ELC,% Bazzi:1997:URA,% Becchetti:2017:SDP,% Berman:1993:FCN,% Bravo:2022:MBC,% Buhrman:2006:IHI,% Burns:1994:FSD,% Castaneda:2022:UC,% Charron-Bost:2021:MAS,% Correia:2005:LCB,% Dutta:2007:OCF,% Eisler:2007:WFD,% Fischer:1986:EIP,% Fraigniaud:2019:NRS,% Gafni:2011:SCN,% Gelashvili:2018:OSC,% Goren:2021:OTS,% Guerraoui:2022:CCN,% Guerraoui:2022:CNC,% Hadzilacos:2022:ARR,% Hurfin:1999:SFA,% Lamport:2006:LBA,% Mizrahi:2008:CCC,% Moniz:2011:RCH,% Moser:1993:NSC,% Mostefaoui:2004:CBC,% Mostefaoui:2006:SCB,% Pogosyants:2000:VRC,% Schiper:1997:ECAa,% Schiper:1997:ECAb,% Tsuchiya:2011:VCA,% Lo:2000:PSO% }. \NAMECITE{consistency}{% Ben-Or:2003:ROI,% Brinksma:1999:CCD,% Cheng:2014:PC,% Critchlow:1996:ISA,% Dubois:2019:WFD,% Friedman:1995:IHC,% Gerth:1999:SCL,% Janssen:1999:CAS,% Karayel:2022:SEC,% Livesey:1993:NCA,% Lowe:1999:UCV% }. \NAMECITE{consistent}{% Almeida:2019:SEC,% Graf:1999:CSC,% Mavronicolas:2008:SCV,% Neiger:1993:CKC% }. \NAMECITE{Constant}{% Kuhn:2005:CTD,% Mitzenmacher:1997:CTP,% Ben-Or:2003:ROI,% Elkin:2022:LSH,% Kohler:2012:FCS,% Lotker:2006:DMC,% Torres-Rojas:1999:PCC% }. \NAMECITE{constant-hopbound}{% Elkin:2022:LSH% }. \NAMECITE{Constant-time}{% Kuhn:2005:CTD% }. \NAMECITE{Constraint}{% Singh:1999:CBS% }. \NAMECITE{Constraint-based}{% Singh:1999:CBS% }. \NAMECITE{constructing}{% Elkin:2006:EAC,% Gold:1987:DAC,% Hendler:2009:BWC,% Jia:2002:EDA,% Lin:1988:MCC% }. \NAMECITE{construction}{% Censor-Hillel:2018:DCP,% Damian:2009:DCL,% Elkin:2018:EDC,% Gotte:2023:TOC,% Helary:1994:TCD,% Michail:2016:SEL,% Michail:2018:TDC,% Miller:1987:CSS% }. \NAMECITE{constructions}{% Ellen:2016:UCE,% Fatourou:2020:RFU,% Moir:2001:LPU% }. \NAMECITE{containing}{% Ghosh:2007:FCS,% Huang:2006:EFC,% Keller:1986:SDN,% Kohler:2012:FCS% }. \NAMECITE{content}{% Roussopoulos:2006:PLB,% Tarkoma:2006:OCB% }. \NAMECITE{content-based}{% Tarkoma:2006:OCB% }. \NAMECITE{Contention}{% Busch:2008:CFM,% Censor-Hillel:2015:BCC,% Fineman:2019:CRF,% Aumann:2005:ELC,% Sharma:2012:WBG,% Zielinski:2008:LLA% }. \NAMECITE{Contention-free}{% Busch:2008:CFM% }. \NAMECITE{continual}{% Cho:2022:DCC% }. \NAMECITE{Continuous}{% Mizrahi:2008:CCC,% Akbari:2016:SAA,% Georgiou:2011:MDC% }. \NAMECITE{contracts}{% Dickerson:2020:ACS% }. \NAMECITE{control}{% Agrawal:1987:DOC,% Back:1989:DPN,% Bernstein:1987:PTC,% Daymude:2023:CAM,% Rajopadhye:1989:SSA% }. \NAMECITE{controllability}{% Hierons:2012:OCP% }. \NAMECITE{controlled}{% Maheshwari:1997:CCD,% Mittal:2004:FMS% }. \NAMECITE{controller}{% Emek:2011:NBC% }. \NAMECITE{Convergence}{% Arora:1993:CIS,% Beauquier:2001:PCS% }. \NAMECITE{cooks}{% Michail:2018:HMC% }. \NAMECITE{cooperation}{% Malewicz:2006:DSD% }. \NAMECITE{coordination}{% Bar-Noy:1989:CCL,% Goren:2023:SCH,% Halpern:2005:KTA,% Hendler:2008:SVC,% Neiger:1993:CKC% }. \NAMECITE{copies}{% Abdel-Ghaffar:1998:EDD% }. \NAMECITE{{CORBA}}{% Coulson:2001:ICG% }. \NAMECITE{core}{% Cruciani:2021:PTC% }. \NAMECITE{cores}{% Gramoli:2018:TST% }. \NAMECITE{Correction}{% Censor-Hillel:2023:CDC,% Guerraoui:2022:CCN% }. \NAMECITE{correctness}{% Aguilera:2012:CPB% }. \NAMECITE{correlation}{% Yu:2009:OIO% }. \NAMECITE{cost}{% Bazzi:2001:ACA,% Bilo:2021:CAN,% Ciuffoletti:1994:RVC,% Drummond:1993:LCC,% Feigenbaum:2005:BBM,% Hendler:2008:SVC,% Ilcinkas:2009:CMD,% Miller:2016:TVC% }. \NAMECITE{coteries}{% Ibaraki:1995:OCR% }. \NAMECITE{count}{% Flammini:2001:ALB% }. \NAMECITE{counter}{% Kessels:1995:CDC% }. \NAMECITE{counterfactuals}{% Halpern:2004:UCK% }. \NAMECITE{counters}{% Almeida:2019:SEC,% Baig:2023:LLC% }. \NAMECITE{Counting}{% Aharonson:1995:CNA,% Detlefs:2002:LFR,% Ganesh:2007:PCS,% Herlihy:1996:LCN,% Lenzen:2019:NOS,% Mavronicolas:2008:SCV% }. \NAMECITE{Coupling}{% Fribourg:2006:CSS% }. \NAMECITE{cover}{% Goos:2014:NST% }. \NAMECITE{coverage}{% Eftekhari:2016:DAB% }. \NAMECITE{covering}{% Ben-Basat:2023:ODC,% Koufogiannakis:2011:DAC% }. \NAMECITE{crash}{% Aguilera:2000:FDC,% Amdur:1992:MCB,% Defago:2020:SSG,% Venkatesan:1994:EAO% }. \NAMECITE{crash-recovery}{% Aguilera:2000:FDC% }. \NAMECITE{crashes}{% Georgiou:2004:CSI,% Kash:2012:OSS% }. \NAMECITE{{Create}}{% Hesselink:2001:WFC% }. \NAMECITE{Critique}{% Lamport:1992:CLA% }. \NAMECITE{Cross}{% vanGlabbeek:2023:CCP% }. \NAMECITE{Cross-chain}{% vanGlabbeek:2023:CCP% }. \NAMECITE{crossbar}{% Kesselman:2010:PMQ% }. \NAMECITE{Crumbling}{% Peleg:1997:CWC% }. \NAMECITE{cryptocurrency}{% Guerraoui:2022:CCN,% Guerraoui:2022:CNC% }. \NAMECITE{cryptographic}{% Goldreich:2003:CCP,% MacKenzie:2003:DCS% }. \NAMECITE{Cryptography}{% Goldreich:2003:CCP% }. \NAMECITE{{CSP}}{% Lowe:1999:UCV,% Peleska:1991:DVF% }. \NAMECITE{cycles}{% Eden:2022:STD% }. \NAMECITE{cyclic}{% Maheshwari:1997:CCD% }. \NAMECITE{data}{% Eyal:2011:DDC,% Gavoille:2003:CLD,% Hayes:2012:FGD,% Lundy:1991:SAD,% Shavit:2016:CRD,% Xu:2008:SAD% }. \NAMECITE{database}{% Broy:1992:AFS% }. \NAMECITE{databases}{% Bernstein:1987:PTC,% Brahmadathan:1991:AGP,% Kurki-Suonio:1992:OSJ% }. \NAMECITE{dataflow}{% Jonsson:1994:FAT,% Lamport:2008:IDT% }. \NAMECITE{deablock}{% Rukoz:1991:HDD% }. \NAMECITE{deadline}{% Georgiou:2011:MDC% }. \NAMECITE{Deadlock}{% Brookes:1991:DAN,% Hilbers:1989:DFM,% Bracha:1987:DDD,% Singhal:1991:CDF% }. \NAMECITE{Deadlock-free}{% Hilbers:1989:DFM,% Singhal:1991:CDF% }. \NAMECITE{deadlocks}{% Tay:1995:DER% }. \NAMECITE{decades}{% Fischer:2003:ATD% }. \NAMECITE{Decentralization}{% Back:1989:DPN% }. \NAMECITE{Decidability}{% Finkel:1994:DTP% }. \NAMECITE{Deciding}{% Arfaoui:2020:DVN% }. \NAMECITE{decision}{% Chu:2001:DTA,% Fraigniaud:2014:RDD% }. \NAMECITE{decision-theoretic}{% Chu:2001:DTA% }. \NAMECITE{decomposition}{% Barenboim:2010:SDM,% Nesetril:2016:DLT% }. \NAMECITE{decompositions}{% Korman:2008:CSD% }. \NAMECITE{decoupled}{% Sanchez:2015:SEM% }. \NAMECITE{decreasing}{% Bilo:2021:CAN% }. \NAMECITE{dedicated}{% Dolev:2008:ISI% }. \NAMECITE{defective}{% Censor-Hillel:2023:CDC,% Censor-Hillel:2023:DCF% }. \NAMECITE{Defending}{% Su:2019:DNB% }. \NAMECITE{defense}{% King:2018:RCJ% }. \NAMECITE{defining}{% Panangaden:1992:CCK,% Udding:1986:FMD% }. \NAMECITE{definitions}{% Ahamad:1995:CMD% }. \NAMECITE{deflection}{% Hajek:1991:BET% }. \NAMECITE{degradation}{% Lin:2019:AFT% }. \NAMECITE{degrading}{% Aguilera:2010:APG% }. \NAMECITE{degree}{% Avin:2020:DAN,% Berman:1993:FCN,% Ghaffari:2020:IDD% }. \NAMECITE{degrees}{% Fraigniaud:2014:GRS% }. \NAMECITE{Delay}{% Verhoeff:1988:DIC,% Anta:2021:TLD,% Black:1986:EDI,% Chalopin:2016:RNS,% Ebergen:1991:FAD,% Martin:1986:CCP,% Udding:1986:FMD% }. \NAMECITE{Delay-insensitive}{% Verhoeff:1988:DIC,% Black:1986:EDI,% Ebergen:1991:FAD,% Martin:1986:CCP,% Udding:1986:FMD% }. \NAMECITE{delayed}{% Klonowski:2019:ODA% }. \NAMECITE{delays}{% Fanelli:2011:BRD% }. \NAMECITE{Delegation}{% MacKenzie:2003:DCS% }. \NAMECITE{Deletion}{% Hesselink:2001:WFC% }. \NAMECITE{delivery}{% Chaudhuri:1995:UAT,% Chu:2001:DTA% }. \NAMECITE{Demand}{% Avin:2020:DAN,% Baldoni:1995:CHP% }. \NAMECITE{Demand-aware}{% Avin:2020:DAN% }. \NAMECITE{dependency}{% Agarwal:2007:EDT% }. \NAMECITE{dependent}{% Orda:1996:DSP,% Shankar:1987:TDD% }. \NAMECITE{deployment}{% Emek:2016:EDS% }. \NAMECITE{depth}{% Datta:2000:SSD,% Huang:1993:SSD,% Nesetril:2016:DLT% }. \NAMECITE{depth-first}{% Datta:2000:SSD,% Huang:1993:SSD% }. \NAMECITE{deque}{% Hendler:2006:DSN% }. \NAMECITE{Derandomizing}{% Censor-Hillel:2020:DLD,% Cooper:2011:DRW% }. \NAMECITE{derivation}{% Kessels:1995:CDC% }. \NAMECITE{derive}{% Srikanth:1987:SAB% }. \NAMECITE{Deriving}{% Kant:1996:DPS,% Kapus-Kolar:1999:CDP% }. \NAMECITE{Design}{% Brunekreef:1996:DAD,% Ciuffoletti:1994:RVC,% Peleska:1991:DVF,% Brinksma:1999:CCD,% Clarke:1986:DCI,% Coulson:2002:DCR,% Feigenbaum:2006:MDP,% Gupta:2007:DND% }. \NAMECITE{Designing}{% Kessels:1990:DSD,% Ebergen:1991:FAD% }. \NAMECITE{designs}{% Avin:2020:DAN% }. \NAMECITE{despite}{% Feinerman:2017:BBS,% Richa:2013:CTM% }. \NAMECITE{Detecting}{% Czumaj:2020:DCC,% Schwarz:1994:DCR,% Stoller:2000:DGP,% Eden:2022:STD% }. \NAMECITE{Detection}{% Chase:1998:DGP,% Abdel-Ghaffar:1998:EDD,% Aguilera:2000:FDC,% Bar-Yehuda:1991:EES,% Bracha:1987:DDD,% Ghaffari:2012:LEU,% Ghaffari:2015:RBR,% Helary:1994:TCD,% Korman:2015:FCS,% Livesey:2007:DDT,% Marzullo:1994:EDC,% Mattern:1987:ADT,% Mittal:2007:FOT,% Rukoz:1991:HDD% }. \NAMECITE{detector}{% Dubois:2019:WFD,% Eisler:2007:WFD,% Guerraoui:2009:WFD,% Hurfin:1999:SFA,% Mostefaoui:2008:CPR,% Schiper:1997:ECAa,% Schiper:1997:ECAb,% Zielinski:2010:AWF% }. \NAMECITE{detectors}{% Afek:2012:RWF,% Beauquier:2007:TFD,% Bonnet:2013:AAS,% Chockler:2008:CCD,% Guerraoui:2002:NBA,% Guerraoui:2008:FDT,% Guerraoui:2008:WFD,% Halpern:2005:KTA,% Herlihy:2005:TBS,% Pike:2012:FDE% }. \NAMECITE{Determining}{% Mertzios:2017:DMN% }. \NAMECITE{Deterministic}{% Chlebus:2002:DBA,% Dieudonne:2015:DPA,% Kowalski:2007:ODB,% Barenboim:2013:DDE,% Blin:2018:CDS,% Bouchard:2019:AAP,% Fischer:2020:IDD,% Gorain:2023:FSD,% Klasing:2017:MAR,% Miller:2016:TVC,% Pignolet:2016:ULB% }. \NAMECITE{devices}{% MacKenzie:2003:DCS% }. \NAMECITE{{DEX}}{% Pandurangan:2016:DSH% }. \NAMECITE{diagnosis}{% Coan:1993:EAU% }. \NAMECITE{diagnostic}{% Celikkan:1995:GDI% }. \NAMECITE{diameter}{% Chatterjee:2020:CLE,% Lotker:2006:DMC% }. \NAMECITE{diameter-two}{% Chatterjee:2020:CLE% }. \NAMECITE{differential}{% Gupta:2007:DND% }. \NAMECITE{digital}{% Keller:1986:SDN% }. \NAMECITE{digitized}{% Alnuweiri:1991:OGA% }. \NAMECITE{{Dijkstra}}{% Chernoy:2010:PDT% }. \NAMECITE{dimensional}{% Ben-Aroya:1995:GHP% }. \NAMECITE{dining}{% Duflot:2004:RDP% }. \NAMECITE{directed}{% Fischer:2023:DAD% }. \NAMECITE{direction}{% Boldi:2003:LBS,% Borowiecki:2015:DGS,% Singh:1997:ELE% }. \NAMECITE{disagreement}{% Delporte-Gallet:2011:DPA% }. \NAMECITE{{DISC}}{% Aguilera:2014:SIS,% Attiya:2017:SID,% Attiya:2020:ESI,% Attiya:2021:SIPa,% Attiya:2022:SID,% Attiya:2023:SID,% Attiya:2024:SIP,% Dolev:2008:ISI,% Fich:2005:ISI,% Fraigniaud:2007:SID,% Keidar:2011:SIS,% Lynch:2013:SID,% Moses:2018:ISI,% Pelc:2008:SID,% Peleg:2013:SID,% Taubenfeld:2010:SID% }. \NAMECITE{disconnected}{% Malewicz:2006:DSD% }. \NAMECITE{discovery}{% Brakerski:2011:DDL,% Pignolet:2015:ATD% }. \NAMECITE{discrepancies}{% Abdel-Ghaffar:1998:EDD% }. \NAMECITE{discrete}{% Akbari:2016:SAA,% Severson:2021:CCD% }. \NAMECITE{disjoint}{% Ellen:2016:UCE,% Jayanti:2021:CDS% }. \NAMECITE{disjoint-access}{% Ellen:2016:UCE% }. \NAMECITE{Disk}{% Abraham:2006:BDP,% Chockler:2005:ADP,% Gafni:2003:DP% }. \NAMECITE{dissemination}{% Anta:2012:OID,% Czumaj:2013:FMD,% Feinerman:2017:BBS% }. \NAMECITE{dissipation}{% Kessels:1995:CDC% }. \NAMECITE{Distance}{% Slivkins:2007:DEO,% Lenzen:2019:DDC,% Sarma:2015:EDC% }. \NAMECITE{distinct}{% Bazzi:2007:EDI,% Kawamura:2015:FPM% }. \NAMECITE{Distributed}{% Ackermann:2011:DAQ,% Afek:2024:DCC,% Agrawal:1987:DOC,% Barenboim:2013:DDE,% Barenboim:2022:DBP,% Borowiecki:2015:DGS,% Bracha:1987:DDD,% Brakerski:2011:DDL,% Censor-Hillel:2018:DCP,% Censor-Hillel:2023:DCF,% Chan:1988:DEC,% Chlebus:2022:DBB,% Cho:2022:DCC,% Chung:2017:DAL,% Clarke:1986:DCI,% Damian:2009:DCL,% DiLuna:2020:DED,% Eftekhari:2016:DAB,% Eyal:2011:DDC,% Flocchini:2017:DCM,% Fraigniaud:2009:DCA,% Gold:1987:DAC,% Halldorsson:2018:DBP,% Halldorsson:2019:DAS,% Herlihy:2007:DTM,% Huang:2009:DEC,% Korman:2007:DVM,% Koufogiannakis:2011:DAC,% Kranakis:2001:DCO,% Lenzen:2013:DMD,% Lenzen:2019:DDC,% Lotker:2006:DMC,% Malewicz:2006:DSD,% Michail:2022:DCR,% Orda:1996:DSP,% Pettie:2010:DAU,% Sharma:2014:DTM,% Tapus:2009:DSE,% Walter:2004:DRM,% Abboud:2020:FVN,% Abraham:2023:RCA,% Ahamad:1990:FTA,% Anagnostides:2023:AUO,% Ancilotti:1988:AED,% Antoniadis:2018:EDC,% Apt:1988:AFL,% Aspnes:2006:RBB,% Awerbuch:2009:GDO,% Balasubramanian:2014:FTD,% Baldoni:1995:CHP,% Barbara:1986:MEP,% Barenboim:2010:SDM,% Barenboim:2014:CAD,% Basten:1997:VTC,% Becker:2015:AEN,% Ben-Basat:2023:ODC,% Bonakdarpour:2012:FAD,% Bonakdarpour:2012:SSM,% Borowsky:2001:BDS,% Bose:2013:BLD,% Brahmadathan:1991:AGP,% Burns:1994:FSD,% Busch:2018:TCI,% Busch:2022:DSD,% Cavalli:1988:EAS,% Censor-Hillel:2019:FDA,% Censor-Hillel:2019:MAD,% Censor-Hillel:2020:DLD,% Censor-Hillel:2020:FDA,% Charron-Bost:2009:HMC,% Chen:2011:EOA,% Chockler:2021:MSD,% Comer:1989:UND,% Cristian:1991:RAP,% Eden:2022:STD,% El-Mhamdi:2022:GDB,% Elkin:2006:EAC,% Elkin:2018:EDC,% Faloutsos:2004:LTO,% Feuilloley:2021:RDP,% Fich:2003:HIR,% Fischer:1986:EIP,% Fischer:2003:ATD,% Fischer:2020:IDD,% Fischer:2023:DAD,% Fraigniaud:2014:RDD,% Fugger:2012:RFT,% Garg:2007:TME,% Gavoille:2003:CLD,% Ghaffari:2020:IDD,% Ghaffari:2021:IDC,% Ghosh:2007:FCS,% Glasgow:1989:ONM% }. \NAMECITE{distributed}{% Groselj:1991:DSC,% Guerraoui:2002:NBA,% Gupta:2007:DND,% Halldorsson:2016:NOB,% Halpern:1989:MKA,% Halpern:2005:KTA,% Hayes:2012:FGD,% He:1987:ASP,% Hegeman:2015:SLD,% Helary:1994:TCD,% Helary:2000:CBP,% Hella:2015:WMD,% Herlihy:2013:TDA,% Hierons:2008:CSD,% Hierons:2012:IRT,% Hierons:2012:OCP,% Hierons:2014:TIR,% Ilcinkas:2009:CMD,% Jeavons:2016:FNS,% Jia:2002:EDA,% Katz:1992:VDP,% Kessels:1990:DSD,% Ketchpel:1999:SCA,% Khan:2008:FDA,% Khan:2012:EDA,% Kipnis:2010:CDS,% Kshemkalyani:1998:CAD,% Kuhn:2005:CTD,% Lamport:1990:TAD,% Liskov:1986:SDP,% Liskov:1993:PUS,% Livesey:2007:DDT,% Maheshwari:1997:CCD,% Manduchi:2000:AVC,% Mattern:1987:ADT,% Metivier:2011:OBC,% Michail:2016:SEL,% Michail:2018:TDC,% Mittal:2004:FMS,% Moser:2014:RFT,% Mukund:1997:KTL,% Nesetril:2016:DLT,% Nguyen:2021:PRS,% Panconesi:2001:SSD,% Panconesi:2010:FPD,% Pandya:1991:PLC,% Patt-Shamir:2008:ADT,% Sarma:2015:EDC,% Schiper:1994:SSP,% Schneider:1995:CDC,% Schwarz:1994:DCR,% Shafer:1995:IHC,% Shankar:1987:TDD,% Singhal:1991:CDF,% Stoller:2000:DGP,% Tabareau:2019:CFD,% Torres-Rojas:1999:PCC,% Woodruff:2017:WDC,% vanLeeuwen:1987:IUD,% Censor-Hillel:2023:CDC% }. \NAMECITE{distribution}{% Aksenov:2023:SLD,% Gorla:2010:TPC,% Almeida:2017:FTA% }. \NAMECITE{distribution-adaptive}{% Aksenov:2023:SLD% }. \NAMECITE{{Do}}{% Georgiou:2004:CSI% }. \NAMECITE{{Do-All}}{% Georgiou:2004:CSI% }. \NAMECITE{does}{% Feige:2000:NWH% }. \NAMECITE{dominating}{% Jia:2002:EDA,% Kuhn:2005:CTD,% Lenzen:2013:DMD,% Wawrzyniak:2015:LAA% }. \NAMECITE{{Doomsday}}{% Livesey:2007:DDT% }. \NAMECITE{drinking}{% Welch:1993:MDP% }. \NAMECITE{dual}{% Panconesi:2010:FPD% }. \NAMECITE{Dynamic}{% Busch:2022:DSD,% Schiper:2006:DGC,% Abraham:2005:PQD,% Baumann:2011:PFD,% Boldi:2002:UDS,% Brunekreef:1996:DAD,% Clementi:2015:ISD,% DiLuna:2020:DED,% Dinitz:2018:SAD,% Dolev:1993:SSD,% Eyal:2014:LLM,% Gao:2005:LFD,% Gilbert:2010:RRR,% Hendler:2006:DSN,% Ingram:2013:LEA,% Jahja:2020:SLB,% Korman:2007:GCL,% Korman:2008:CSD,% Michail:2022:DCR,% Moniz:2011:RCH,% Myoupo:1993:MDP,% Naor:2005:SDQ,% Winkler:2019:CRD% }. \NAMECITE{dynamic-sized}{% Hendler:2006:DSN% }. \NAMECITE{Dynamics}{% Hoefer:2012:DNI,% Ackermann:2016:CID,% Becchetti:2017:SDP,% Cruciani:2021:PTC,% Cruciani:2023:PTE,% Fanelli:2011:BRD% }. \NAMECITE{each}{% Becker:2015:AEN% }. \NAMECITE{Early}{% Schiper:1997:ECAa,% Schiper:1997:ECAb% }. \NAMECITE{Easy}{% Fischer:1986:EIP% }. \NAMECITE{Eclecticism}{% Fraigniaud:2006:ESE% }. \NAMECITE{edge}{% Balliu:2023:NEA,% Barenboim:2013:DDE,% Censor-Hillel:2020:FDA,% Ghaffari:2020:IDD,% Huang:2009:DEC,% Mitzenmacher:1997:CTP% }. \NAMECITE{editing}{% Karayel:2022:SEC% }. \NAMECITE{Editorial}{% Anonymous:2000:ETC,% Aspnes:2007:E,% Attiya:2009:EAA,% Attiya:2020:ESI,% Guerraoui:2006:EI% }. \NAMECITE{effect}{% Emek:2016:EDS% }. \NAMECITE{effects}{% Cicerone:2019:AAP% }. \NAMECITE{Efficient}{% Abdel-Ghaffar:1998:EDD,% Afek:2007:EAC,% Agarwal:2007:EDT,% Attiya:2006:EAC,% Aumann:2005:ELC,% Bar-Yehuda:1991:EES,% Beimel:2005:ERC,% Berenbrink:2016:ERB,% Chen:2011:EOA,% Coan:1993:EAU,% Elkin:2006:EAC,% Galcik:2013:EBR,% Giakkoupis:2019:ERT,% Gong:1995:ENA,% Kanellakis:1992:EPA,% Khan:2012:EDA,% Marzullo:1994:EDC,% Sarma:2015:EDC,% Singh:1997:ELE,% Venkatesan:1994:EAO,% Alistarh:2018:CER,% Ancilotti:1988:AED,% Attiya:2002:AEM,% Dani:2023:WJM,% Elkin:2018:EDC,% Feinerman:2017:BBS,% Gasieniec:2008:TES,% Golab:2012:REI,% Hassin:2001:SCN,% Huang:2006:EFC,% Jia:2002:EDA,% Michail:2016:SEL,% Mostefaoui:2004:CBC,% Peleg:1997:CWC% }. \NAMECITE{Election}{% Chalopin:2012:EPA,% Beauquier:2007:RSS,% Blin:2018:CDS,% Brunekreef:1996:DAD,% Chan:1988:DEC,% Chatterjee:2020:CLE,% Dereniowski:2014:LEA,% Doty:2018:SLE,% Fusco:2011:HMM,% Fusco:2015:KLS,% Ghaffari:2012:LEU,% Gorain:2023:FSD,% Ingram:2013:LEA,% Mizoguchi:2012:SCS,% Ramanathan:2007:RLE,% Sayeed:1995:OAA,% Singh:1997:ELE,% vanLeeuwen:1987:IUD% }. \NAMECITE{elementary}{% Nielsen:1990:BNE% }. \NAMECITE{Embedded}{% Cicerone:2019:EPF% }. \NAMECITE{embedding}{% Haeupler:2021:LCS% }. \NAMECITE{embeddings}{% Khan:2012:EDA% }. \NAMECITE{empirical}{% Saad:2017:TEE% }. \NAMECITE{emulation}{% Bar-Yehuda:1991:EES% }. \NAMECITE{encapsulate}{% Pike:2012:FDE% }. \NAMECITE{energy}{% Dani:2023:WJM% }. \NAMECITE{energy-efficient}{% Dani:2023:WJM% }. \NAMECITE{ensure}{% Ellen:2016:UCE% }. \NAMECITE{entropy}{% Antoniadis:2018:EDC% }. \NAMECITE{envelope}{% Li:2005:OSB% }. \NAMECITE{environment}{% Coulson:2001:ICG% }. \NAMECITE{environments}{% Chlebus:2009:MTM,% Pignolet:2015:ATD% }. \NAMECITE{equational}{% Lozes:2010:SEL% }. \NAMECITE{equations}{% Gupta:2007:DND,% Rajopadhye:1989:SSA% }. \NAMECITE{equilibria}{% Bilo:2021:CAN,% Fischer:2008:AWE% }. \NAMECITE{Equivalence}{% Nanongkai:2022:ECC% }. \NAMECITE{equivalent}{% Goldstein:2004:WRP% }. \NAMECITE{{Erlang}}{% Cazzola:2022:PPT% }. \NAMECITE{error}{% Brahmadathan:1991:AGP,% Sanchez:2015:SEM% }. \NAMECITE{error-prone}{% Brahmadathan:1991:AGP% }. \NAMECITE{establishment}{% Bazzi:2007:EDI% }. \NAMECITE{estimation}{% Slivkins:2007:DEO% }. \NAMECITE{{Euclidean}}{% Emek:2016:EDS% }. \NAMECITE{evacuation}{% Hajek:1991:BET% }. \NAMECITE{evaluation}{% Abrahamson:1989:RFE,% Saad:2017:TEE% }. \NAMECITE{even}{% Eden:2022:STD,% Fraigniaud:2006:ESE% }. \NAMECITE{events}{% Agarwal:2007:EDT,% Anonymous:1986:CE,% Basten:1997:VTC,% Garg:2007:TME% }. \NAMECITE{eventual}{% Dubois:2019:WFD,% Karayel:2022:SEC% }. \NAMECITE{eventually}{% Almeida:2019:SEC% }. \NAMECITE{ever}{% Guerraoui:2009:WFD% }. \NAMECITE{evolution}{% Andrews:1986:ESL% }. \NAMECITE{evolving}{% Dima:2012:SSS% }. \NAMECITE{examples}{% Shavit:2016:CRD% }. \NAMECITE{exclusion}{% Anderson:1997:ULS,% Anderson:2001:NFP,% Anderson:2002:ILB,% Anderson:2003:SMM,% Attiya:2002:AEM,% Barbara:1986:MEP,% Bienkowski:2016:RME,% Chernoy:2010:PDT,% Choy:1994:ASM,% Danek:2010:CCG,% Golab:2019:RME,% Hendler:2011:RME,% Herman:2000:SME,% Joung:2000:AGM,% Kim:2006:NME,% Kim:2007:AME,% Kim:2012:TCL,% Singhal:1991:CDF,% Taubenfeld:2014:TSB,% Yang:1995:FSM,% vandeSnepscheut:1987:FME% }. \NAMECITE{exclusive}{% DAngelo:2017:UAG,% Tay:1995:DER% }. \NAMECITE{execution}{% Mittal:2004:FMS,% Tapus:2009:DSE% }. \NAMECITE{Exhaustive}{% Cavalli:1988:EAS% }. \NAMECITE{existence}{% Black:1986:EDI% }. \NAMECITE{expanders}{% Pandurangan:2014:XLS,% Pandurangan:2016:DSH% }. \NAMECITE{expansion}{% Aspnes:2009:EMT,% Nesetril:2016:DLT% }. \NAMECITE{Expected}{% Naor:2024:ELR% }. \NAMECITE{expensive}{% Woodruff:2017:WDC% }. \NAMECITE{explicit}{% Abujarad:2015:CAA% }. \NAMECITE{exploration}{% Brandt:2020:TLB,% Cooper:2011:DRW,% DiLuna:2020:DED% }. \NAMECITE{exponential}{% Blin:2018:CDS% }. \NAMECITE{expressions}{% Anantharaman:1986:CPE% }. \NAMECITE{extended}{% Afek:2007:CES,% Yamaguchi:2003:PSR% }. \NAMECITE{Extending}{% Issa:2020:EHT,% Perrin:2022:EWF% }. \NAMECITE{extension}{% Ganesh:2021:OEP% }. \NAMECITE{extensions}{% Katz:1993:SSE% }. \NAMECITE{facility}{% Hegeman:2015:SLD% }. \NAMECITE{fading}{% Fineman:2019:CRF% }. \NAMECITE{Failure}{% Aguilera:2000:FDC,% Guerraoui:2008:FDT,% Pike:2012:FDE,% Afek:2012:RWF,% Bar-Noy:1989:CCL,% Bonnet:2013:AAS,% Dubois:2019:WFD,% Dutta:2007:OCF,% Eisler:2007:WFD,% Guerraoui:2002:NBA,% Guerraoui:2008:WFD,% Guerraoui:2009:WFD,% Halpern:2005:KTA,% Herlihy:2005:TBS,% Hurfin:1999:SFA,% Mostefaoui:2008:CPR,% Schiper:1997:ECAa,% Schiper:1997:ECAb,% Zielinski:2010:AWF% }. \NAMECITE{Failures}{% Vogler:1991:FSB,% Afek:1995:CGC,% Amdur:1992:MCB,% Delporte-Gallet:2011:MIA,% Goldreich:1991:CCP,% Hadzilacos:1987:CRB,% Kuznetsov:2022:ARB,% Moniz:2011:RCH,% Okun:2008:RSM,% Widder:2007:BCS% }. \NAMECITE{Fair}{% Lv:2016:FRI,% vandeSnepscheut:1987:FME,% Black:1986:EDI,% Cooper:2011:DRW,% Michail:2018:TDC% }. \NAMECITE{Fairness}{% Attie:1993:FHM,% Lamport:2000:FH,% Apt:1988:AFL,% Baier:1998:MCP,% Duflot:2004:RDP,% Hesselink:1999:PUB,% Pike:2012:FDE% }. \NAMECITE{families}{% Lenzen:2013:DMD% }. \NAMECITE{family}{% Afek:2012:RWF,% Fatourou:2020:RFU,% Mittal:2007:FOT% }. \NAMECITE{fan}{% Aharonson:1995:CNA% }. \NAMECITE{fan-out}{% Aharonson:1995:CNA% }. \NAMECITE{Fast}{% Afek:2013:FSR,% Alur:1996:FTB,% Angluin:2008:FCP,% Berman:1993:FCN,% Burns:1994:FSD,% Censor-Hillel:2019:FDA,% Censor-Hillel:2020:FDA,% Censor-Hillel:2021:FAS,% Clementi:2013:FFM,% Czumaj:2013:FMD,% Korman:2015:FCS,% Lamport:2006:FP,% Panconesi:2010:FPD,% Afek:2002:RPC,% Anderson:2001:NFP,% Angluin:2008:SPP,% Boczkowski:2019:MMS,% Hurfin:1999:SFA,% Khan:2008:FDA,% Yang:1995:FSM% }. \NAMECITE{fast-path}{% Anderson:2001:NFP% }. \NAMECITE{Faster}{% Aspnes:2015:FRC,% Gasieniec:2007:FCK% }. \NAMECITE{Fault}{% Ahamad:1990:FTA,% Almeida:2017:FTA,% Balasubramanian:2014:FTD,% DiLuna:2020:FTS,% Ghosh:2007:FCS,% Jalote:1989:FTP,% Kohler:2012:FCS,% Abraham:2022:RAF,% Abujarad:2015:CAA,% Beauquier:2007:TFD,% Bonakdarpour:2012:SSM,% Coan:1993:EAU,% Doerr:2016:SOR,% Dolev:2007:PCT,% Fugger:2012:RFT,% Georgiou:2011:MDC,% Guerraoui:2007:AFT,% Huang:2006:EFC,% Korman:2015:FCS,% Lin:2019:AFT,% Moser:2014:RFT,% Parter:2017:VFT,% Peleska:1991:DVF,% Schmid:2001:HRF,% Srikanth:1987:SAB,% Tapus:2009:DSE,% Zhao:2016:NOC% }. \NAMECITE{Fault-containing}{% Ghosh:2007:FCS,% Kohler:2012:FCS,% Huang:2006:EFC% }. \NAMECITE{fault-gap}{% Kohler:2012:FCS% }. \NAMECITE{fault-tolerance}{% Abujarad:2015:CAA% }. \NAMECITE{Fault-tolerant}{% Ahamad:1990:FTA,% Almeida:2017:FTA,% DiLuna:2020:FTS,% Bonakdarpour:2012:SSM,% Doerr:2016:SOR,% Fugger:2012:RFT,% Georgiou:2011:MDC,% Guerraoui:2007:AFT,% Lin:2019:AFT,% Moser:2014:RFT,% Schmid:2001:HRF,% Srikanth:1987:SAB,% Zhao:2016:NOC% }. \NAMECITE{faults}{% Chalopin:2016:RNS,% Charron-Bost:2009:HMC,% Chen:2017:SFC,% Defago:2020:SSG,% Milosevic:2014:TPT% }. \NAMECITE{faulty}{% Czyzowicz:2019:SLF,% Kranakis:2001:DCO,% Kupavskii:2021:LBS,% Sayeed:1995:OAA,% Widder:2012:CPM% }. \NAMECITE{{FCFS}}{% Danek:2010:CCG% }. \NAMECITE{feasibility}{% Cicerone:2018:GRM% }. \NAMECITE{federated}{% Florian:2022:SPA% }. \NAMECITE{Feedback}{% Jeavons:2016:FNS% }. \NAMECITE{Fence}{% Kawamura:2015:FPM% }. \NAMECITE{Fetch}{% Castaneda:2023:SLI% }. \NAMECITE{few}{% Arfaoui:2020:DVN% }. \NAMECITE{{FIFO}}{% Engelhardt:2009:CCC,% Kesselman:2010:PMQ,% Ladan-Mozes:2008:OAL% }. \NAMECITE{file}{% Abdel-Ghaffar:1998:EDD% }. \NAMECITE{filters}{% Kaldewaij:1992:ROF% }. \NAMECITE{Finding}{% Mittal:2004:FMS,% Karaata:1999:SSA% }. \NAMECITE{finite}{% Angluin:2006:CNP,% Broy:1987:SFI,% Miller:1987:CSS% }. \NAMECITE{finite-state}{% Angluin:2006:CNP% }. \NAMECITE{finitely}{% Fischer:2008:AWE% }. \NAMECITE{firing}{% Goldstein:2004:WRP,% Lenzen:2019:NOS% }. \NAMECITE{first}{% Beauquier:2001:PCS,% Cazzola:2003:RMI,% Datta:2000:SSD,% Huang:1993:SSD% }. \NAMECITE{first-class}{% Cazzola:2003:RMI% }. \NAMECITE{first-order}{% Beauquier:2001:PCS% }. \NAMECITE{fixed}{% Alnuweiri:1991:OGA,% Lisper:1991:CTC% }. \NAMECITE{fixed-size}{% Alnuweiri:1991:OGA% }. \NAMECITE{flooding}{% Baumann:2011:PFD,% Clementi:2013:FFM,% Hussak:2023:TAF% }. \NAMECITE{flow}{% Ghosh:1997:SSA,% Almeida:2017:FTA% }. \NAMECITE{{Flow-Updating}}{% Almeida:2017:FTA% }. \NAMECITE{flows}{% Awerbuch:2009:GDO% }. \NAMECITE{fly}{% Jonker:1992:FGC% }. \NAMECITE{Fooling}{% Abboud:2020:FVN% }. \NAMECITE{forests}{% Tarkoma:2006:OCB% }. \NAMECITE{forget}{% Czyzowicz:2012:HMW% }. \NAMECITE{Forgiving}{% Hayes:2012:FGD% }. \NAMECITE{Formal}{% Berard:2016:FVM,% Ebergen:1991:FAD,% Udding:1986:FMD% }. \NAMECITE{formation}{% Cicerone:2019:EPF,% DiLuna:2020:SFP,% Flocchini:2017:DCM,% Cicerone:2019:AAP% }. \NAMECITE{Forming}{% Das:2015:FSG% }. \NAMECITE{foundations}{% Tabareau:2019:CFD% }. \NAMECITE{Four}{% Gorain:2023:FSD% }. \NAMECITE{framework}{% Bonakdarpour:2012:FAD,% Cazzola:2022:PPT,% Karayel:2022:SEC% }. \NAMECITE{free}{% Alcantara:2019:TLC,% Anderson:1997:ULS,% Bazzi:1997:URA,% Bouzid:2018:AOF,% Busch:2008:CFM,% Detlefs:2002:LFR,% Fraigniaud:2013:LCW,% Gao:2005:LFD,% Havlicek:2000:COW,% Hesselink:1994:WFL,% Hesselink:1995:WFL,% Hesselink:2001:WFC,% Hilbers:1989:DFM,% Ladan-Mozes:2008:OAL,% Lamport:2003:AFS,% Panconesi:1998:RNU,% Perrin:2022:EWF,% Singhal:1991:CDF,% Tromp:2002:RTP% }. \NAMECITE{freedom}{% Delporte-Gallet:2015:WFA,% Ellen:2016:UCE,% Guerraoui:2008:WFD% }. \NAMECITE{{French}}{% Chung:2017:DAL% }. \NAMECITE{{FSMs}}{% Feijs:1999:GFI% }. \NAMECITE{Fully}{% Brodsky:2011:FAA,% Censor-Hillel:2023:CDC,% Censor-Hillel:2023:DCF,% Jonsson:1994:FAT% }. \NAMECITE{Fully-adaptive}{% Brodsky:2011:FAA% }. \NAMECITE{fully-defective}{% Censor-Hillel:2023:CDC,% Censor-Hillel:2023:DCF% }. \NAMECITE{function}{% Abrahamson:1989:RFE,% Halpern:2010:KBA% }. \NAMECITE{functional}{% Broy:1992:AFS% }. \NAMECITE{functions}{% Bilo:2021:CAN,% Gillani:2021:LBN,% Lin:1988:MCC,% Zhao:2016:NOC% }. \NAMECITE{fused}{% Balasubramanian:2014:FTD% }. \NAMECITE{game}{% Hayrapetyan:2007:NPG% }. \NAMECITE{games}{% Ackermann:2016:CID,% Bilo:2021:CAN,% Fanelli:2011:BRD,% Halldorsson:2010:SSG,% Hoefer:2012:DNI% }. \NAMECITE{gap}{% Danek:2010:CCG,% Kohler:2012:FCS% }. \NAMECITE{garbage}{% Jonker:1992:FGC,% Maheshwari:1997:CCD,% Pixley:1988:IGC% }. \NAMECITE{Gathering}{% Cicerone:2018:GRM,% DAngelo:2014:GRU,% Kozlov:2012:GIA,% Bouchard:2016:BGN,% Bouchard:2022:BGP,% DAngelo:2017:UAG,% Defago:2020:SSG,% DiStefano:2017:OGO,% Pagli:2015:GCT% }. \NAMECITE{General}{% Korman:2007:GCL,% Afek:1995:CGC,% Sharma:2014:DTM% }. \NAMECITE{Generating}{% Celikkan:1995:GDI,% Enders:1993:GBS,% Feijs:1999:GFI% }. \NAMECITE{generation}{% Abraham:2023:RCA,% Antoniadis:2018:EDC,% Hierons:2012:IRT% }. \NAMECITE{{Generic}}{% Pedone:2002:HMS% }. \NAMECITE{Genuinely}{% El-Mhamdi:2022:GDB% }. \NAMECITE{Geometric}{% Goubault:2018:GCV,% Alnuweiri:1991:OGA,% Czumaj:2013:FMD,% Das:2015:FSG% }. \NAMECITE{{GeoQuorums}}{% Dolev:2005:GIA% }. \NAMECITE{Getting}{% Pagli:2015:GCT% }. \NAMECITE{{GIOP}}{% Coulson:2001:ICG% }. \NAMECITE{global}{% Afek:1995:CGC,% Anta:2012:OID,% Balliu:2021:AGP,% Chase:1998:DGP,% Halpern:2010:KBA,% Korman:2013:TML,% Stoller:2000:DGP% }. \NAMECITE{gossip}{% Avin:2013:OOI,% Georgiou:2011:MDC,% Georgiou:2020:CG,% Minsky:2003:TMG,% Mukund:1997:KTL% }. \NAMECITE{graceful}{% Brahmadathan:1991:AGP,% Lin:2019:AFT% }. \NAMECITE{gracefully}{% Aguilera:2010:APG% }. \NAMECITE{gracefully-degrading}{% Aguilera:2010:APG% }. \NAMECITE{Gradient}{% Fan:2006:GCS% }. \NAMECITE{grail}{% Schwarz:1994:DCR% }. \NAMECITE{Graph}{% Hayes:2012:FGD,% Balliu:2023:NEA,% Barenboim:2014:CAD,% Borowiecki:2015:DGS,% Censor-Hillel:2019:FDA,% Chung:2017:DAL,% Fraigniaud:2009:DCA,% Ilcinkas:2009:CMD,% Kitamura:2021:LCS,% vandeSnepscheut:1987:FME% }. \NAMECITE{graphs}{% Aspnes:2009:EMT,% Barenboim:2010:SDM,% Baumann:2011:PFD,% Boldi:2003:LBS,% Clementi:2015:ISD,% Cooper:2011:DRW,% Czyzowicz:2012:HMW,% DiStefano:2017:OGO,% Ghosh:1993:SSA,% Lenzen:2013:DMD,% Lotker:2006:DMC,% Schneider:2010:OMI% }. \NAMECITE{Greedy}{% Awerbuch:2009:GDO,% Ben-Aroya:1995:GHP,% Fraigniaud:2014:GRS,% Jeavons:2016:FNS,% Sharma:2012:WBG% }. \NAMECITE{grid}{% Brandt:2020:TLB% }. \NAMECITE{group}{% Cristian:1991:RAP,% Joung:2000:AGM,% Joung:2010:QSG,% Schiper:2006:DGC% }. \NAMECITE{growth}{% Cho:2022:DCC% }. \NAMECITE{guarantees}{% vanGlabbeek:2023:CCP% }. \NAMECITE{guard}{% Schneider:1990:CG% }. \NAMECITE{Handling}{% Pedone:2002:HMS% }. \NAMECITE{handshake}{% Attiya:1997:LHR% }. \NAMECITE{hard}{% Alcantara:2019:TLC% }. \NAMECITE{hardness}{% Nanongkai:2022:ECC% }. \NAMECITE{hardware}{% Clarke:1986:DCI,% Issa:2020:EHT% }. \NAMECITE{hash}{% Gao:2005:LFD% }. \NAMECITE{having}{% Buhrman:2006:IHI% }. \NAMECITE{healer}{% Moniz:2011:RCH% }. \NAMECITE{healing}{% Pandurangan:2014:XLS,% Pandurangan:2016:DSH,% Saad:2017:TEE% }. \NAMECITE{{Heard}}{% Charron-Bost:2009:HMC% }. \NAMECITE{{Heard-Of}}{% Charron-Bost:2009:HMC% }. \NAMECITE{heavy}{% Baldoni:1995:CHP% }. \NAMECITE{{Herlihy}}{% Pogosyants:2000:VRC% }. \NAMECITE{{Herman}}{% Feng:2015:NOU% }. \NAMECITE{heterogeneous}{% Goren:2023:SCH% }. \NAMECITE{Hierarchical}{% Rukoz:1991:HDD,% Shafer:1995:IHC% }. \NAMECITE{hierarchy}{% Mostefaoui:2004:CBC,% Perrin:2022:EWF% }. \NAMECITE{high}{% Baldoni:1995:CHP,% Coulson:2001:ICG,% Friedman:1995:IHC,% Hendler:2009:BWC,% Shafer:1995:IHC% }. \NAMECITE{high-level}{% Friedman:1995:IHC% }. \NAMECITE{high-performance}{% Coulson:2001:ICG,% Shafer:1995:IHC% }. \NAMECITE{high-throughput}{% Hendler:2009:BWC% }. \NAMECITE{Highly}{% Goldman:1991:HCL,% Alon:2019:RCH,% Singh:1995:HAM,% Yu:2011:SHA% }. \NAMECITE{highly-available}{% Yu:2011:SHA% }. \NAMECITE{hoarders}{% Kash:2012:OSS% }. \NAMECITE{hoc}{% Anta:2012:OID,% Chlebus:2002:DBA,% Gilbert:2017:WYS,% Halldorsson:2019:LMC,% Kowalski:2005:BUA,% Pelc:2007:AAA,% Dolev:2005:GIA% }. \NAMECITE{hole}{% Dobrev:2006:SBH% }. \NAMECITE{holy}{% Schwarz:1994:DCR% }. \NAMECITE{homonyms}{% Delporte-Gallet:2013:BAH% }. \NAMECITE{hop}{% Bar-Yehuda:1991:EES,% Flammini:2001:ALB,% Gilbert:2017:WYS,% Richa:2013:CTM% }. \NAMECITE{hopbound}{% Elkin:2022:LSH% }. \NAMECITE{hopsets}{% Elkin:2022:LSH% }. \NAMECITE{hot}{% Ben-Aroya:1995:GHP,% Feige:2000:NWH% }. \NAMECITE{hot-potato}{% Ben-Aroya:1995:GHP,% Feige:2000:NWH% }. \NAMECITE{Hundreds}{% Fich:2003:HIR% }. \NAMECITE{husbands}{% Moses:1986:CHO% }. \NAMECITE{hybrid}{% Alistarh:2018:ILH,% Friedman:1995:IHC,% Widder:2007:BCS% }. \NAMECITE{hypercube}{% Boukerche:1995:PSH% }. \NAMECITE{hypercubes}{% Kranakis:2001:DCO% }. \NAMECITE{hyperfairness}{% Attie:1993:FHM,% Lamport:2000:FH% }. \NAMECITE{{HyperTree}}{% Dolev:2008:HSS% }. \NAMECITE{identical}{% Kozlov:2012:GIA% }. \NAMECITE{identifying}{% Chen:2011:EOA% }. \NAMECITE{identities}{% Bazzi:2007:EDI,% Gilbert:2017:WYS% }. \NAMECITE{identity}{% Buhrman:2006:IHI% }. \NAMECITE{image}{% Kung:1986:MIP% }. \NAMECITE{images}{% Alnuweiri:1991:OGA% }. \NAMECITE{imitation}{% Ackermann:2016:CID% }. \NAMECITE{impact}{% Mavronicolas:2010:IRS% }. \NAMECITE{implement}{% Lo:2000:PSO% }. \NAMECITE{Implementation}{% Hierons:2012:IRT,% Shafer:1995:IHC,% Ahamad:1995:CMD,% Bonakdarpour:2012:FAD,% Hierons:2014:TIR,% Kshemkalyani:1998:NSC% }. \NAMECITE{Implementations}{% Castaneda:2023:SLI,% Anderson:1997:ULS,% Fatourou:2017:LUB,% Giakkoupis:2019:ERT,% Golab:2012:REI,% Gong:1995:ENA% }. \NAMECITE{Implementing}{% Coulson:2001:ICG,% Friedman:1995:IHC,% Lamport:2008:IDT,% Aguilera:2008:IOS,% Baldoni:2006:OPB,% Dolev:2005:GIA% }. \NAMECITE{importance}{% Buhrman:2006:IHI% }. \NAMECITE{impossibility}{% Busch:2018:TCI,% Fich:2003:HIR,% Fischer:1986:EIP,% Tsay:1993:SIR% }. \NAMECITE{improve}{% Anderson:1997:ULS,% Moir:2001:LPU% }. \NAMECITE{Improved}{% Elkin:2023:IWA,% Fischer:2020:IDD,% Ghaffari:2020:IDD,% Ghaffari:2021:IDC,% Anderson:2002:ILB,% Chechik:2022:SSS,% vanLeeuwen:1987:IUD% }. \NAMECITE{in-network}{% Gillani:2021:LBN% }. \NAMECITE{inaccurate}{% Fusco:2010:BUR% }. \NAMECITE{Incentive}{% Feigenbaum:2011:ICI,% Lv:2016:FRI% }. \NAMECITE{Incentive-compatible}{% Feigenbaum:2011:ICI% }. \NAMECITE{incomplete}{% Beimel:2007:PCI% }. \NAMECITE{incorruptible}{% Valapil:2020:PSW% }. \NAMECITE{Increment}{% Castaneda:2023:SLI% }. \NAMECITE{incremental}{% Kurki-Suonio:2003:ASI,% Paliwoda:1991:ISS,% Pixley:1988:IGC% }. \NAMECITE{independence}{% Barenboim:2013:DDE,% Schneider:2010:OMI% }. \NAMECITE{independent}{% Afek:2013:BMI,% Halldorsson:2018:CLI,% Jeavons:2016:FNS,% Schneider:2010:OMI% }. \NAMECITE{independently}{% Dima:2012:SSS% }. \NAMECITE{indeterminate}{% Keller:1986:SDN% }. \NAMECITE{indulgence}{% Dutta:2005:IPI% }. \NAMECITE{infinite}{% Broy:1987:SFI% }. \NAMECITE{infinitely}{% Chockler:2005:ADP% }. \NAMECITE{Information}{% Clementi:2015:ISD,% Anta:2012:OID,% Avin:2013:OOI,% Celikkan:1995:GDI,% Chen:2019:SML,% Delporte-Gallet:2011:MIA,% Feinerman:2017:BBS,% Fraigniaud:2009:DCA,% Fusco:2010:BUR,% Kshemkalyani:1998:NSC% }. \NAMECITE{Inherent}{% Alistarh:2018:ILH,% Dutta:2005:IPI,% Fich:2006:IWC% }. \NAMECITE{inhibition}{% Critchlow:1996:ISA% }. \NAMECITE{input}{% Hierons:2012:OCP% }. \NAMECITE{insensitive}{% Black:1986:EDI,% Ebergen:1991:FAD,% Martin:1986:CCP,% Udding:1986:FMD,% Verhoeff:1988:DIC% }. \NAMECITE{inter}{% Yu:2009:OIO% }. \NAMECITE{inter-object}{% Yu:2009:OIO% }. \NAMECITE{interaction}{% Hoefer:2012:DNI% }. \NAMECITE{interactions}{% Attie:1993:FHM,% Mertzios:2017:DMN% }. \NAMECITE{interactive}{% Ben-Or:2003:ROI,% Broy:1992:AFS% }. \NAMECITE{interdomain}{% Feigenbaum:2011:ICI% }. \NAMECITE{interface}{% Broy:1992:AFS% }. \NAMECITE{interfaces}{% Hierons:2012:IRT,% Lam:1992:SMS% }. \NAMECITE{interference}{% Damian:2009:DCL,% Galcik:2013:EBR% }. \NAMECITE{interleaving}{% Antoniadis:2018:EDC,% Katz:1992:VDP% }. \NAMECITE{{Internet}}{% Pignolet:2013:MSW% }. \NAMECITE{interprocess}{% Lamport:1986:ICa,% Lamport:1986:ICb,% Tsay:1993:SIR% }. \NAMECITE{intersection}{% Schmid:2001:HRF% }. \NAMECITE{Interval}{% Fraigniaud:2001:IRS,% Schmid:2001:HRF,% Vogler:1991:FSB% }. \NAMECITE{interworkings}{% Feijs:1999:GFI% }. \NAMECITE{Introduction}{% Anderson:2001:I,% Arora:2007:I,% Attiya:2003:I,% Dolev:2008:ISI,% Fich:2005:ISI,% Guerraoui:2006:EI,% Hadzilacos:1997:I,% Kutten:2006:ISI,% Marzullo:2005:I,% Merritt:1993:I,% Merritt:1999:I,% Moses:2018:ISI,% Rajsbaum:2005:I,% Schneider:1992:I,% Shavit:2002:I% }. \NAMECITE{invocation}{% Cazzola:2003:RMI% }. \NAMECITE{{ISPs}}{% Pignolet:2015:ATD% }. \NAMECITE{Issue}{% Fraigniaud:2007:SID,% Aguilera:2014:SIS,% Alvisi:2011:SIP,% Attiya:2016:SIM,% Attiya:2017:SID,% Attiya:2019:SIP,% Attiya:2020:ESI,% Attiya:2021:SIPa,% Attiya:2021:SIPb,% Attiya:2022:SID,% Attiya:2022:SIP,% Attiya:2023:SID,% Attiya:2024:SIP,% Dolev:2008:ISI,% Fich:2005:ISI,% Fraigniaud:2013:SIS,% Keidar:2011:SIS,% Kutten:2006:ISI,% Lynch:2013:SID,% Moses:2018:ISI,% Panconesi:2015:SIS,% Patt-Shamir:2010:SIP,% Pelc:2008:SID,% Peleg:2013:SID,% Taubenfeld:2010:SID,% Taubenfeld:2015:SIP,% Wattenhofer:2009:SIP% }. \NAMECITE{issues}{% Clarke:1986:DCI% }. \NAMECITE{iteration}{% Arora:1993:CIS% }. \NAMECITE{iterative}{% Georgiou:2004:CSI,% Lee:2005:RRI% }. \NAMECITE{jamming}{% King:2018:RCJ,% Richa:2013:CTM% }. \NAMECITE{join}{% Dani:2023:WJM% }. \NAMECITE{joint}{% Kurki-Suonio:1992:OSJ% }. \NAMECITE{journal}{% Gouda:1986:NJB% }. \NAMECITE{Keeping}{% Mukund:1997:KTL% }. \NAMECITE{key}{% Abraham:2023:RCA,% Dodis:2005:SPK% }. \NAMECITE{Knowledge}{% Fagin:1997:KBP,% Fusco:2015:KLS,% Merritt:1993:KSM,% Chalopin:2012:EPA,% Halpern:1989:MKA,% Halpern:2000:NKB,% Halpern:2004:UCK,% Halpern:2005:KTA,% Halpern:2010:KBA,% Korman:2013:TML,% Mizrahi:2008:CCC,% Moses:1986:CHO,% Neiger:1993:CKC,% Pagourtzis:2017:RBR,% Panangaden:1992:CCK% }. \NAMECITE{Knowledge-based}{% Fagin:1997:KBP,% Halpern:2000:NKB,% Halpern:2004:UCK,% Halpern:2010:KBA% }. \NAMECITE{knowledge-theoretic}{% Halpern:2005:KTA% }. \NAMECITE{Known}{% Kowalski:2007:ODB,% Gasieniec:2007:FCK,% Gasieniec:2008:TES% }. \NAMECITE{labeling}{% Fraigniaud:2019:RPL,% Korman:2007:GCL,% Korman:2008:CSD,% Korman:2010:PLS% }. \NAMECITE{labels}{% Fraigniaud:2001:ALU% }. \NAMECITE{{Lake}}{% Lamport:1992:CLA% }. \NAMECITE{language}{% Andrews:1986:ESL% }. \NAMECITE{languages}{% Apt:1988:AFL,% Beauquier:2001:PCS% }. \NAMECITE{{Laplacian}}{% Anagnostides:2023:AUO% }. \NAMECITE{large}{% Brakerski:2011:DDL,% Dani:2017:SMP,% Halldorsson:2018:CLI,% Yu:2011:SHA% }. \NAMECITE{large-scale}{% Yu:2011:SHA% }. \NAMECITE{Last}{% Siek:2022:LUO% }. \NAMECITE{Last-use}{% Siek:2022:LUO% }. \NAMECITE{latency}{% Zielinski:2008:LLA% }. \NAMECITE{latest}{% Mukund:1997:KTL% }. \NAMECITE{lattice}{% Attiya:1995:ASU% }. \NAMECITE{law}{% Fraigniaud:2014:GRS% }. \NAMECITE{layer}{% Kuhn:2011:AML% }. \NAMECITE{layouts}{% Flammini:2001:ALB% }. \NAMECITE{Laziness}{% Moir:2001:LPU% }. \NAMECITE{Lazy}{% Ladkin:1999:LCT,% Gerth:1999:SCL,% Janssen:1999:CAS,% Moir:2001:LPU% }. \NAMECITE{Leader}{% Dereniowski:2014:LEA,% Ghaffari:2012:LEU,% Angluin:2008:FCP,% Beauquier:2007:RSS,% Blin:2018:CDS,% Brunekreef:1996:DAD,% Chatterjee:2020:CLE,% Doty:2018:SLE,% Fraigniaud:2001:ALU,% Fusco:2011:HMM,% Fusco:2015:KLS,% Gorain:2023:FSD,% Ingram:2013:LEA,% Mizoguchi:2012:SCS,% Ramanathan:2007:RLE,% Sayeed:1995:OAA,% Singh:1997:ELE% }. \NAMECITE{Leakage}{% Boyle:2014:LRC% }. \NAMECITE{Leakage-resilient}{% Boyle:2014:LRC% }. \NAMECITE{learn}{% Chandy:1986:HPL% }. \NAMECITE{learning}{% El-Mhamdi:2022:GDB,% Su:2019:DNB% }. \NAMECITE{legitimate}{% Abujarad:2015:CAA% }. \NAMECITE{lemma}{% Chung:2017:DAL% }. \NAMECITE{level}{% Attiya:1997:LHR,% Friedman:1995:IHC,% Fusco:2015:KLS% }. \NAMECITE{Leveraging}{% Halldorsson:2019:LMC% }. \NAMECITE{Life}{% Chan:2020:LBS% }. \NAMECITE{limitations}{% Alistarh:2018:ILH,% Black:1986:EDI,% Chase:1998:DGP% }. \NAMECITE{limited}{% Bar-Noy:1989:CCL,% DiLuna:2022:TTM,% Feinerman:2017:BBS,% Herlihy:2005:TBS% }. \NAMECITE{limited-scope}{% Herlihy:2005:TBS% }. \NAMECITE{{LiMoSense}}{% Eyal:2014:LLM% }. \NAMECITE{line}{% Alnuweiri:1991:OGA,% Czyzowicz:2019:SLF,% Dolev:2003:SAL% }. \NAMECITE{Linear}{% Elkin:2022:LSH,% Goos:2017:LLB,% Alnuweiri:1991:OGA,% Doty:2018:SLE,% Faloutsos:2004:LTO,% Fraigniaud:2001:IRS,% Kung:1986:MIP,% Myoupo:1993:MDP,% Naor:2024:ELR,% Pettie:2010:DAU,% Roditty:2016:CLS,% Zamsky:1995:OTB% }. \NAMECITE{Linear-in-{}}{% Goos:2017:LLB% }. \NAMECITE{linear-messages}{% Zamsky:1995:OTB% }. \NAMECITE{Linear-size}{% Elkin:2022:LSH% }. \NAMECITE{linear-time}{% Faloutsos:2004:LTO% }. \NAMECITE{Linearizable}{% Castaneda:2023:SLI,% Herlihy:1996:LCN,% Mavronicolas:2008:SCV% }. \NAMECITE{linearization}{% Hesselink:1994:WFL,% Hesselink:1995:WFL% }. \NAMECITE{Linial}{% Maus:2022:LL% }. \NAMECITE{link}{% Afek:1995:CGC,% Goldreich:1991:CCP,% Naor:2024:ELR,% Widder:2007:BCS% }. \NAMECITE{links}{% Sayeed:1995:OAA% }. \NAMECITE{{Lipschitz}}{% Schmid:2001:HRF% }. \NAMECITE{list}{% Aksenov:2023:SLD% }. \NAMECITE{lists}{% Maus:2022:LL% }. \NAMECITE{live}{% Bravo:2022:MBC,% Eyal:2014:LLM% }. \NAMECITE{lived}{% Afek:2002:LLA,% Baig:2023:LLC,% Brodsky:2011:FAA,% Winkler:2019:CRD% }. \NAMECITE{livelock}{% Feige:2000:NWH% }. \NAMECITE{liveness}{% Aguilera:2010:APG,% Alpern:1987:RSL,% Shankar:1987:TDD% }. \NAMECITE{Load}{% Kleinberg:2011:LBR,% Ackermann:2011:DAQ,% Akbari:2016:SAA,% Goren:2023:SCH,% Lenzen:2016:TBP,% Roussopoulos:2006:PLB% }. \NAMECITE{local}{% Anderson:1997:ULS,% Balliu:2023:NEA,% Censor-Hillel:2020:DLD,% Chen:2019:SML,% Chung:2017:DAL,% Delporte-Gallet:2011:MIA,% Kim:2006:NME,% Kim:2007:AME,% Korman:2013:TML,% Mertzios:2017:DMN,% Michail:2016:SEL,% Wawrzyniak:2015:LAA,% Balliu:2021:AGP,% Goos:2017:LLB% }. \NAMECITE{local-spin}{% Anderson:1997:ULS% }. \NAMECITE{Locality}{% Fraigniaud:2013:LCW,% Bose:2013:BLD% }. \NAMECITE{Localization}{% Czyzowicz:2015:LSC% }. \NAMECITE{localized}{% Gavoille:2003:CLD,% Korman:2013:TML,% Pandurangan:2014:XLS% }. \NAMECITE{Locally}{% Balliu:2023:LCP,% Arfaoui:2020:DVN,% Cooper:2011:DRW,% Feng:2020:WCS% }. \NAMECITE{location}{% Cook:2002:OLR,% Hegeman:2015:SLD,% Slivkins:2007:DEO% }. \NAMECITE{Lock}{% Detlefs:2002:LFR,% Gao:2005:LFD,% Ladan-Mozes:2008:OAL% }. \NAMECITE{Lock-free}{% Detlefs:2002:LFR,% Gao:2005:LFD,% Ladan-Mozes:2008:OAL% }. \NAMECITE{log}{% Czyzowicz:2012:HMW% }. \NAMECITE{log-space}{% Czyzowicz:2012:HMW% }. \NAMECITE{logarithmic}{% Hegeman:2015:SLD,% Hendler:2011:RME% }. \NAMECITE{logging}{% Alvisi:2002:CTC% }. \NAMECITE{logic}{% Baier:1998:MCP,% Hella:2015:WMD,% Lozes:2010:SEL,% Pandya:1991:PLC% }. \NAMECITE{logical}{% Gray:1998:LAM,% Kshemkalyani:2004:PLC,% Torres-Rojas:1999:PCC% }. \NAMECITE{logically}{% Carbone:2018:CL,% Goldman:1991:HCL% }. \NAMECITE{loneliness}{% Ghaffari:2012:LEU% }. \NAMECITE{Long}{% Afek:2002:LLA,% Baig:2023:LLC,% Brodsky:2011:FAA,% Galcik:2013:EBR% }. \NAMECITE{Long-lived}{% Baig:2023:LLC,% Brodsky:2011:FAA% }. \NAMECITE{long-range}{% Galcik:2013:EBR% }. \NAMECITE{Look}{% DAngelo:2014:GRU,% Alcantara:2019:TLC% }. \NAMECITE{look-compute-move}{% Alcantara:2019:TLC% }. \NAMECITE{{LOTOS}}{% Kant:1996:DPS,% Kapus-Kolar:1999:CDP% }. \NAMECITE{{Lov{\'a}sz}}{% Chung:2017:DAL% }. \NAMECITE{Low}{% Correia:2005:LCB,% Drummond:1993:LCC,% Haeupler:2021:LCS,% Kitamura:2021:LCS,% Zielinski:2008:LLA,% Anagnostides:2023:AUO,% Anta:2021:TLD,% Aumann:2005:ELC,% Czumaj:2024:CSL,% Damian:2009:DCL,% Hayes:2012:FGD,% Nesetril:2016:DLT% }. \NAMECITE{Low-Congestion}{% Haeupler:2021:LCS,% Kitamura:2021:LCS,% Anagnostides:2023:AUO% }. \NAMECITE{low-contention}{% Aumann:2005:ELC% }. \NAMECITE{Low-cost}{% Drummond:1993:LCC% }. \NAMECITE{low-delay}{% Anta:2021:TLD% }. \NAMECITE{low-interference}{% Damian:2009:DCL% }. \NAMECITE{Low-latency}{% Zielinski:2008:LLA% }. \NAMECITE{low-space}{% Czumaj:2024:CSL% }. \NAMECITE{Lower}{% Boldi:2003:LBS,% Bruschi:1997:LBB,% Czerner:2023:LBS,% Fatourou:2017:LUB,% Gillani:2021:LBN,% Gong:1995:ENA,% Holtby:2008:LBS,% Kupavskii:2021:LBS,% Lamport:2006:LBA,% Abboud:2020:FVN,% Anderson:2002:ILB,% Babaoglu:1988:RBC,% Brandt:2020:TLB,% Castaneda:2010:NCT,% Goos:2017:LLB,% Jahja:2020:SLB,% Kim:2012:TCL,% Pignolet:2016:ULB% }. \NAMECITE{lowest}{% Feigenbaum:2005:BBM% }. \NAMECITE{lowest-cost}{% Feigenbaum:2005:BBM% }. \NAMECITE{{M\&M}}{% Hadzilacos:2022:ARR% }. \NAMECITE{{MAC}}{% Busch:2008:CFM,% Kuhn:2011:AML,% Ogierman:2018:SCM% }. \NAMECITE{machine}{% DiLuna:2022:TTM,% El-Mhamdi:2022:GDB,% Kung:1986:MIP% }. \NAMECITE{machines}{% Balasubramanian:2014:FTD,% Lundy:1991:SAD% }. \NAMECITE{made}{% Kanellakis:1992:EPA% }. \NAMECITE{{Maekawa}}{% Baldoni:1995:CHP,% Singhal:1991:CDF% }. \NAMECITE{{Maekawa}-type}{% Baldoni:1995:CHP,% Singhal:1991:CDF% }. \NAMECITE{mailbox}{% Aguilera:2010:MP% }. \NAMECITE{Maintenance}{% Li:2006:CMR% }. \NAMECITE{major}{% Anderson:2003:SMM% }. \NAMECITE{majority}{% Angluin:2008:SPP,% Berenbrink:2021:TST,% Cruciani:2023:PTE,% Mertzios:2017:DMN% }. \NAMECITE{Making}{% Bravo:2022:MBC,% Censor-Hillel:2019:MAD% }. \NAMECITE{malicious}{% Minsky:2003:TMG% }. \NAMECITE{management}{% Hesselink:2001:WFC,% Sharma:2012:WBG% }. \NAMECITE{managing}{% Attiya:1997:LHR% }. \NAMECITE{{Manhattan}}{% Clementi:2013:FFM% }. \NAMECITE{many}{% Chockler:2005:ADP,% Fischer:2008:AWE,% Gramoli:2018:TST,% Michail:2018:HMC% }. \NAMECITE{many-cores}{% Gramoli:2018:TST% }. \NAMECITE{Mapping}{% Kung:1986:MIP,% Myoupo:1993:MDP% }. \NAMECITE{mappings}{% Lynch:1992:UMP% }. \NAMECITE{markets}{% Chen:2019:SML% }. \NAMECITE{masking}{% Bonakdarpour:2012:SSM% }. \NAMECITE{{Mass}}{% Almeida:2017:FTA% }. \NAMECITE{{Mass-Distribution}}{% Almeida:2017:FTA% }. \NAMECITE{massively}{% Czumaj:2024:CSL,% Nanongkai:2022:ECC% }. \NAMECITE{matching}{% Dani:2023:WJM,% Fischer:2020:IDD,% Huang:2020:CCA,% Kipnis:2010:CDS,% Koufogiannakis:2011:DAC,% Panconesi:2010:FPD% }. \NAMECITE{maxima}{% Chiao:2002:SSQ% }. \NAMECITE{maximal}{% Afek:2013:BMI,% Dani:2023:WJM,% Jeavons:2016:FNS,% Schneider:2010:OMI% }. \NAMECITE{Maximum}{% Chlebus:2009:MTM,% Ghosh:1997:SSA,% Huang:2020:CCA,% Koufogiannakis:2011:DAC% }. \NAMECITE{me}{% Dani:2023:WJM% }. \NAMECITE{means}{% Sanchez:2015:SEM% }. \NAMECITE{meassage}{% Katz:1993:SSE% }. \NAMECITE{meassage-passing}{% Katz:1993:SSE% }. \NAMECITE{measured}{% Pignolet:2013:MSW% }. \NAMECITE{mechanical}{% Hesselink:1995:WFL% }. \NAMECITE{Mechanism}{% Feigenbaum:2006:MDP,% Anderson:2001:NFP,% Feigenbaum:2005:BBM% }. \NAMECITE{mechanisms}{% Dani:2015:SMR,% Lv:2016:FRI,% Moir:2001:LPU% }. \NAMECITE{media}{% Afek:1993:SSU% }. \NAMECITE{mediated}{% Mizoguchi:2012:SCS% }. \NAMECITE{meet}{% Czyzowicz:2012:HMW% }. \NAMECITE{Meeting}{% DiLuna:2020:MPA,% Georgiou:2011:MDC,% Cicerone:2018:GRM% }. \NAMECITE{meeting-points}{% Cicerone:2018:GRM% }. \NAMECITE{meets}{% Almeida:2017:FTA% }. \NAMECITE{membrship}{% Cristian:1991:RAP% }. \NAMECITE{memories}{% Baldoni:2006:OPB,% Guerraoui:2010:MCT% }. \NAMECITE{memory}{% Abraham:2006:BDP,% Ahamad:1995:CMD,% Alistarh:2018:ILH,% Alon:2005:TBS,% Anderson:2003:SMM,% Anta:2021:TLD,% Antoniadis:2018:EDC,% Aspnes:2006:RBB,% Aspnes:2012:MAS,% Attiya:2016:SIM,% Busch:2018:TCI,% Busch:2022:DSD,% Cadambe:2017:CSA,% Dolev:2005:GIA,% Fusco:2011:HMM,% Gilbert:2010:RRR,% Graf:1999:CSC,% Gramoli:2018:TST,% Guerraoui:2007:AFT,% Herlihy:2007:DTM,% Hesselink:2001:WFC,% Issa:2020:EHT,% Merritt:1993:KSM,% Mertzios:2017:DMN,% Sanchez:2015:SEM,% Sharma:2012:WBG,% Sharma:2014:DTM,% Shavit:1997:STM,% Siek:2022:LUO% }. \NAMECITE{mesh}{% Ben-Aroya:1995:GHP% }. \NAMECITE{message}{% Alvisi:2002:CTC,% Amdur:1992:MCB,% Arora:2005:UST,% Boczkowski:2019:MMS,% Cadambe:2017:CSA,% Chalopin:2012:EPA,% Chaudhuri:1995:UAT,% Chlebus:2001:PTS,% Chu:2001:DTA,% Czumaj:2013:FMD,% Delporte-Gallet:2011:MIA,% Faloutsos:2004:LTO,% Fraigniaud:2001:IRS,% Hilbers:1989:DFM,% Huang:2020:CCA,% Kshemkalyani:1998:NSC,% Okun:2008:RSM,% Pedone:2002:HMS% }. \NAMECITE{message-complexity}{% Fraigniaud:2001:IRS% }. \NAMECITE{message-logging}{% Alvisi:2002:CTC% }. \NAMECITE{message-passing}{% Arora:2005:UST,% Chlebus:2001:PTS,% Delporte-Gallet:2011:MIA,% Huang:2020:CCA% }. \NAMECITE{messages}{% Bar-Noy:1991:CAO,% Garg:2007:TME,% Goren:2021:OTS,% Kipnis:2010:CDS,% Lenzen:2019:DDC,% Mashreghi:2021:BMS,% Zamsky:1995:OTB% }. \NAMECITE{metamorphic}{% Walter:2004:DRM% }. \NAMECITE{method}{% Cazzola:2003:RMI% }. \NAMECITE{methodology}{% Lin:1988:MCC% }. \NAMECITE{methods}{% Censor-Hillel:2019:AMC% }. \NAMECITE{metric}{% Hegeman:2015:SLD,% Herlihy:2007:DTM% }. \NAMECITE{metric-space}{% Herlihy:2007:DTM% }. \NAMECITE{middleware}{% Coulson:2002:DCR% }. \NAMECITE{migration}{% Maheshwari:1997:CCD% }. \NAMECITE{Minimizing}{% Boczkowski:2019:MMS% }. \NAMECITE{minimum}{% Delporte-Gallet:2011:MIA,% Faloutsos:2004:LTO,% Fischer:2023:DAD,% Gold:1987:DAC,% Khan:2008:FDA,% Korman:2007:DVM,% Lenzen:2013:DMD,% Mashreghi:2021:BMS,% Singh:1995:HAM,% Wawrzyniak:2015:LAA% }. \NAMECITE{minimum-weight}{% Fischer:2023:DAD,% Gold:1987:DAC% }. \NAMECITE{{MinMax}}{% Charron-Bost:2021:MAS% }. \NAMECITE{{MIS}}{% Barenboim:2010:SDM,% Metivier:2011:OBC% }. \NAMECITE{Misleading}{% Pignolet:2013:MSW% }. \NAMECITE{missing}{% Fusco:2010:BUR,% Mittal:2004:FMS,% Naor:2024:ELR% }. \NAMECITE{mitigation}{% Sanchez:2015:SEM% }. \NAMECITE{mixing}{% Aspnes:2009:EMT% }. \NAMECITE{mobile}{% Angluin:2006:CNP,% Anta:2012:OID,% Berard:2016:FVM,% Bruschi:1997:LBB,% Das:2015:FSG,% Defago:2020:SSG,% DiLuna:2022:TTM,% Dobrev:2006:SBH,% Dolev:2005:GIA,% Flocchini:2017:DCM,% Kawamura:2015:FPM,% Pagli:2015:GCT% }. \NAMECITE{mobility}{% Gorla:2010:TPC% }. \NAMECITE{modal}{% Hella:2015:WMD% }. \NAMECITE{mode}{% Kesselman:2010:PMQ% }. \NAMECITE{Model}{% Baier:1998:MCP,% Guerraoui:2010:MCT,% Widder:2009:TMA,% Aguilera:2000:FDC,% Aminof:2018:PMC,% Aspnes:2012:MAS,% Balliu:2021:AGP,% Censor-Hillel:2015:BCC,% Charron-Bost:2009:HMC,% Chechik:2022:SSS,% Coan:1990:TCR,% DAngelo:2014:GRU,% Daymude:2023:CAM,% Enders:1993:GBS,% Glasgow:1989:ONM,% Goos:2017:LLB,% Halldorsson:2016:NOB,% Huang:2020:CCA,% Jonsson:1994:FAT,% Kleinberg:2011:LBR,% Levi:2021:PTP,% Mashreghi:2021:BMS,% Nguyen:1986:MTP,% Udding:1986:FMD% }. \NAMECITE{Modeling}{% Newport:2011:MRN,% Kurki-Suonio:2003:ASI% }. \NAMECITE{Modelling}{% Halpern:1989:MKA,% vanGlabbeek:2016:MVA% }. \NAMECITE{models}{% Babaoglu:1988:RBC,% Becker:2015:AEN,% Bonakdarpour:2012:FAD,% Cruciani:2023:PTE,% Elkin:2006:EAC,% Hella:2015:WMD% }. \NAMECITE{modify}{% Fatourou:2004:RMW% }. \NAMECITE{modular}{% Aspnes:2012:MAS,% Myoupo:1993:MDP,% Rhee:1998:MAR,% Welch:1993:MDP% }. \NAMECITE{modules}{% Keller:1986:SDN,% Lam:1992:SMS% }. \NAMECITE{monitoring}{% Dolev:2003:SAL,% Eyal:2014:LLM,% Nguyen:2021:PRS% }. \NAMECITE{monitors}{% Gjessing:1988:SVM% }. \NAMECITE{monotonicity}{% Ilcinkas:2009:CMD% }. \NAMECITE{mortal}{% Widder:2012:CPM% }. \NAMECITE{most}{% Chaudhuri:1995:UAT% }. \NAMECITE{Move}{% DAngelo:2014:GRU,% Alcantara:2019:TLC% }. \NAMECITE{{MPLS}}{% Afek:2002:RPC% }. \NAMECITE{{MST}}{% Korman:2015:FCS,% Lotker:2006:DMC% }. \NAMECITE{much}{% Fusco:2011:HMM% }. \NAMECITE{Multi}{% Anderson:1994:MWC,% Chockler:2021:MSD,% Attie:1993:FHM,% Awerbuch:2009:GDO,% Bar-Yehuda:1991:EES,% Dani:2017:SMP,% Flatebo:1995:SSM,% Klasing:2017:MAR,% Mitzenmacher:2018:SMP,% Perrin:2022:EWF,% Pixley:1988:IGC,% Richa:2013:CTM% }. \NAMECITE{multi-agent}{% Klasing:2017:MAR% }. \NAMECITE{multi-commodity}{% Awerbuch:2009:GDO% }. \NAMECITE{multi-hop}{% Bar-Yehuda:1991:EES,% Richa:2013:CTM% }. \NAMECITE{multi-mutator}{% Pixley:1988:IGC% }. \NAMECITE{multi-party}{% Attie:1993:FHM,% Dani:2017:SMP,% Mitzenmacher:2018:SMP% }. \NAMECITE{Multi-shot}{% Chockler:2021:MSD% }. \NAMECITE{multi-threaded}{% Perrin:2022:EWF% }. \NAMECITE{multi-token}{% Flatebo:1995:SSM% }. \NAMECITE{Multi-writer}{% Anderson:1994:MWC% }. \NAMECITE{multicaches}{% Brown:1990:AM,% Livesey:1993:NCA% }. \NAMECITE{multicast}{% Goldman:1991:HCL,% Malkhi:2000:SRM% }. \NAMECITE{multicomputer}{% Hilbers:1989:DFM% }. \NAMECITE{Multidimensional}{% Mendes:2015:MAB% }. \NAMECITE{multilevel}{% Gray:1998:LAM,% Tang:1994:MV% }. \NAMECITE{multiple}{% Abdel-Ghaffar:1998:EDD,% Bienkowski:2016:RME,% Chlebus:2009:MTM,% Halldorsson:2019:LMC,% Lin:1988:MCC% }. \NAMECITE{Multiplicity}{% Castaneda:2023:SLI% }. \NAMECITE{multiprocess}{% Pnueli:1986:VMP% }. \NAMECITE{multiprocessor}{% Boukerche:1995:PSH,% Ellen:2020:CBC% }. \NAMECITE{mutator}{% Pixley:1988:IGC% }. \NAMECITE{mutators}{% Jonker:1992:FGC% }. \NAMECITE{Mutual}{% Barbara:1986:MEP,% Anderson:2001:NFP,% Anderson:2002:ILB,% Anderson:2003:SMM,% Attiya:2002:AEM,% Bienkowski:2016:RME,% Chernoy:2010:PDT,% Choy:1994:ASM,% Danek:2010:CCG,% Golab:2019:RME,% Hendler:2011:RME,% Herman:2000:SME,% Joung:2000:AGM,% Kim:2006:NME,% Kim:2007:AME,% Kim:2012:TCL,% Singhal:1991:CDF,% Yang:1995:FSM,% vandeSnepscheut:1987:FME% }. \NAMECITE{Naming}{% Egecioglu:1994:NSP,% Comer:1989:UND,% Panconesi:1998:RNU% }. \NAMECITE{{Nash}}{% Barenboim:2010:SDM,% Bilo:2021:CAN% }. \NAMECITE{{Nash-Williams}}{% Barenboim:2010:SDM% }. \NAMECITE{nature}{% Jeavons:2016:FNS% }. \NAMECITE{Near}{% Lenzen:2019:NOS,% Zhao:2016:NOC,% Brakerski:2011:DDL,% Elkin:2018:EDC,% Pagli:2015:GCT% }. \NAMECITE{near-cliques}{% Brakerski:2011:DDL% }. \NAMECITE{near-gathering}{% Pagli:2015:GCT% }. \NAMECITE{Near-optimal}{% Lenzen:2019:NOS,% Zhao:2016:NOC% }. \NAMECITE{Nearly}{% Bar-Noy:2002:NOP,% Halldorsson:2016:NOB,% Feng:2015:NOU% }. \NAMECITE{Necessary}{% Kshemkalyani:1998:NSC,% Moser:1993:NSC% }. \NAMECITE{needed}{% Fusco:2011:HMM% }. \NAMECITE{neighborhood}{% Barenboim:2013:DDE% }. \NAMECITE{neighbors}{% Slivkins:2007:DEO% }. \NAMECITE{nested}{% Rukoz:1991:HDD% }. \NAMECITE{net}{% Glasgow:1989:ONM,% Nielsen:1990:BNE% }. \NAMECITE{nets}{% Back:1989:DPN,% Yamaguchi:2003:PSR% }. \NAMECITE{network}{% Arfaoui:2020:DVN,% Avin:2020:DAN,% Bar-Yehuda:1991:EES,% Bilo:2021:CAN,% Censor-Hillel:2015:BCC,% Cook:2002:OLR,% Fraigniaud:2001:ALU,% Gillani:2021:LBN,% Gold:1987:DAC,% Gong:1995:ENA,% Hayrapetyan:2007:NPG,% Hoefer:2012:DNI,% Jain:2007:BSR,% Michail:2016:SEL,% Pignolet:2015:ATD,% Singh:1999:CBS% }. \NAMECITE{Networks}{% Feige:2000:NWH,% Kowalski:2007:ODB,% Aharonson:1995:CNA,% Almeida:2019:SEC,% Alon:2019:RCH,% Angluin:2006:CNP,% Anta:2012:OID,% Bazzi:2007:EDI,% Beimel:2005:ERC,% Beimel:2007:PCI,% Berenbrink:2016:ERB,% Berman:1993:FCN,% Bouchard:2016:BGN,% Brookes:1991:DAN,% Broy:1987:SFI,% Brunekreef:1996:DAD,% Bruschi:1997:LBB,% Bui:2007:SSP,% Busch:2008:CFM,% Censor-Hillel:2014:SUR,% Censor-Hillel:2023:CDC,% Censor-Hillel:2023:DCF,% Chalopin:2012:EPA,% Chalopin:2016:RNS,% Chan:1988:DEC,% Chatterjee:2020:CLE,% Chen:2017:SFC,% Chlebus:2002:DBA,% Chlebus:2006:PWB,% Chlebus:2022:DBB,% Chockler:2008:CCD,% Cruciani:2021:PTC,% Czumaj:2013:FMD,% Czumaj:2020:DCC,% Dani:2017:SMP,% Dani:2023:WJM,% Datta:2000:SSD,% Dereniowski:2014:LEA,% Dinitz:2018:SAD,% Dobrev:2006:SBH,% Dolev:2005:GIA,% Emek:2009:BUR,% Emek:2016:EDS,% Eyal:2011:DDC,% Eyal:2014:LLM,% Fatourou:2004:RMW,% Fraigniaud:2014:GRS,% Fusco:2010:BUR,% Galcik:2013:EBR,% Ganesh:2007:PCS,% Gasieniec:2007:FCK,% Gasieniec:2008:TES,% Ghaffari:2015:RBR,% Gilbert:2010:RRR,% Gilbert:2017:WYS,% Gorain:2023:FSD,% Gotte:2023:TOC,% Halldorsson:2018:DBP,% Halldorsson:2019:LMC,% Hassin:2001:SCN,% Herlihy:1996:LCN,% Herlihy:2006:SSS,% Herlihy:2007:DTM,% Hilbers:1989:DFM,% Huang:1993:SSD,% Huang:1997:SST,% Huang:2009:DEC,% Ibaraki:1995:OCR,% Ingram:2013:LEA,% Jahja:2020:SLB,% Jain:2007:BSR,% Jonsson:1994:FAT,% Joung:2002:CTP,% Keller:1986:SDN,% Kowalski:2005:BUA,% Mavronicolas:2008:SCV,% Mavronicolas:2010:IRS,% Mertzios:2017:DMN,% Michail:2022:DCR,% Miller:2016:TVC,% Mitzenmacher:1997:CTP,% Moscibroda:2008:CUR,% Newport:2011:MRN,% Nguyen:1986:MTP,% Orda:1996:DSP,% Panconesi:2001:SSD,% Pelc:2007:AAA,% Pignolet:2016:ULB,% Richa:2013:CTM,% Roussopoulos:2006:PLB,% Sarma:2015:EDC,% Sayeed:1995:OAA,% Severson:2021:CCD,% Sharma:2014:DTM,% Wawrzyniak:2015:LAA,% Winkler:2019:CRD% }. \NAMECITE{networks}{% Yu:2011:SHA% }. \NAMECITE{No}{% Goos:2014:NST,% Bar-Yehuda:1991:EES% }. \NAMECITE{Node}{% Balliu:2023:NEA,% Becker:2015:AEN% }. \NAMECITE{noise}{% Censor-Hillel:2019:MAD% }. \NAMECITE{Noisy}{% Fraigniaud:2019:NRS,% Alon:2019:RCH,% Feinerman:2017:BBS% }. \NAMECITE{Non}{% Guerraoui:2002:NBA,% Shafiei:2019:NBP,% Delporte-Gallet:2011:MIA,% Engelhardt:2009:CCC,% Moir:2001:LPU,% Su:2019:DNB% }. \NAMECITE{non-{Bayesian}}{% Su:2019:DNB% }. \NAMECITE{Non-blocking}{% Guerraoui:2002:NBA,% Shafiei:2019:NBP,% Moir:2001:LPU% }. \NAMECITE{non-{FIFO}}{% Engelhardt:2009:CCC% }. \NAMECITE{non-local}{% Delporte-Gallet:2011:MIA% }. \NAMECITE{Nonatomic}{% Kim:2006:NME% }. \NAMECITE{nonblocking}{% Hendler:2006:DSN% }. \NAMECITE{nonuniform}{% Eisler:2007:WFD% }. \NAMECITE{note}{% Halpern:2000:NKB,% Livesey:1993:NCA% }. \NAMECITE{notions}{% Nielsen:1990:BNE% }. \NAMECITE{novel}{% Gupta:2007:DND,% Lubitch:1995:CSN% }. \NAMECITE{null}{% Goren:2021:OTS% }. \NAMECITE{number}{% Antoniadis:2018:EDC,% Guerraoui:2022:CCN,% Guerraoui:2022:CNC% }. \NAMECITE{numbers}{% Gafni:2011:SCN% }. \NAMECITE{object}{% Ahamad:1990:FTA,% Anderson:1997:ULS,% Coulson:2001:ICG,% Lo:2000:PSO,% Slivkins:2007:DEO,% Yu:2009:OIO% }. \NAMECITE{object-based}{% Ahamad:1990:FTA% }. \NAMECITE{Objects}{% Malkhi:2003:OSB,% Hendler:2009:BWC,% Taubenfeld:2020:CSP% }. \NAMECITE{Oblivious}{% Li:2005:OSB,% Aspnes:2015:FRC,% Aumann:2005:ELC,% Das:2015:FSG,% DiLuna:2020:MPA,% DiLuna:2022:TTM,% DiStefano:2017:OGO,% Jahja:2020:SLB% }. \NAMECITE{obstruction}{% Bouzid:2018:AOF,% Guerraoui:2008:WFD% }. \NAMECITE{obstruction-free}{% Bouzid:2018:AOF% }. \NAMECITE{obstruction-freedom}{% Guerraoui:2008:WFD% }. \NAMECITE{obstructions}{% Havlicek:2000:COW% }. \NAMECITE{odd}{% Huang:1999:SSC,% Huang:2003:AUR% }. \NAMECITE{offs}{% Berenbrink:2021:TST,% Czyzowicz:2014:TVS% }. \NAMECITE{omega}{% Aguilera:2008:IOS% }. \NAMECITE{omission}{% Moniz:2011:RCH% }. \NAMECITE{on-line}{% Dolev:2003:SAL% }. \NAMECITE{On-the-fly}{% Jonker:1992:FGC% }. \NAMECITE{once}{% Becker:2015:AEN,% Chaudhuri:1995:UAT% }. \NAMECITE{ONE}{% Cook:2002:OLR,% Bar-Noy:1990:OBA,% Bar-Noy:1991:CAO,% Lo:2000:PSO% }. \NAMECITE{One-bit}{% Bar-Noy:1990:OBA,% Bar-Noy:1991:CAO% }. \NAMECITE{one-resilient}{% Lo:2000:PSO% }. \NAMECITE{online}{% Chen:2011:EOA% }. \NAMECITE{only}{% Becker:2015:AEN,% Dolev:1993:SSD,% Issa:2020:EHT% }. \NAMECITE{onto}{% Kung:1986:MIP,% Myoupo:1993:MDP% }. \NAMECITE{opacity}{% Siek:2022:LUO% }. \NAMECITE{open}{% Gao:2005:LFD% }. \NAMECITE{Operational}{% Kurki-Suonio:1992:OSJ,% Tapus:2009:DSE% }. \NAMECITE{Operations}{% Castaneda:2023:SLI,% Friedman:1995:IHC,% Golab:2012:REI,% Kung:1986:MIP,% Merritt:1994:ARO,% Shafiei:2019:NBP% }. \NAMECITE{operator}{% Glasgow:1989:ONM% }. \NAMECITE{operators}{% Ducourthial:2001:SSO% }. \NAMECITE{Opportunistic}{% Anta:2012:OID% }. \NAMECITE{Optimal}{% Alnuweiri:1991:OGA,% Baldoni:2006:OPB,% Ben-Basat:2023:ODC,% DiStefano:2017:OGO,% Ganesh:2021:OEP,% Ibaraki:1995:OCR,% Kowalski:2007:ODB,% Mansour:2004:OSS,% Sayeed:1995:OAA,% Yu:2009:OIO,% Zamsky:1995:OTB,% Abraham:2006:BDP,% Abraham:2022:RAF,% Anagnostides:2023:AUO,% Avin:2013:OOI,% Bar-Noy:2002:NOP,% Beauquier:2007:RSS,% Ben-Or:2003:ROI,% Cicerone:2018:GRM,% Cook:2002:OLR,% Dobrev:2006:SBH,% Doerr:2016:SOR,% Elkin:2018:EDC,% Faloutsos:2004:LTO,% Fekete:1990:AOA,% Feng:2015:NOU,% Gelashvili:2018:OSC,% Gong:1995:ENA,% Gotte:2023:TOC,% Halldorsson:2016:NOB,% Kshemkalyani:1998:NSC,% Lenzen:2019:NOS,% Metivier:2011:OBC,% Mittal:2007:FOT,% Mitzenmacher:1997:CTP,% Patra:2014:ABA,% Schneider:2010:OMI,% Volk:2022:SOB,% Yamaguchi:2003:PSR,% Zhao:2016:NOC% }. \NAMECITE{optimal-message}{% Faloutsos:2004:LTO% }. \NAMECITE{optimistic}{% Agrawal:1987:DOC,% Ladan-Mozes:2008:OAL,% Venkatesan:1994:EAO% }. \NAMECITE{Optimistically}{% Goren:2021:OTS% }. \NAMECITE{optimization}{% Awerbuch:2009:GDO% }. \NAMECITE{Optimizing}{% Kash:2012:OSS,% Tarkoma:2006:OCB% }. \NAMECITE{Order}{% Avin:2013:OOI,% Beauquier:2001:PCS,% Kaldewaij:1992:ROF% }. \NAMECITE{Ordered}{% Klonowski:2019:ODA,% Charron-Bost:1996:SAC% }. \NAMECITE{ordering}{% Kshemkalyani:1998:NSC% }. \NAMECITE{orientation}{% Kekkonen-Moneta:2002:TO% }. \NAMECITE{oriented}{% Kranakis:2001:DCO,% Kurki-Suonio:2003:ASI,% Mostefaoui:2008:CPR% }. \NAMECITE{other}{% Moses:1986:CHO% }. \NAMECITE{output}{% Arfaoui:2020:DVN,% Hierons:2012:OCP% }. \NAMECITE{Overcoming}{% Hierons:2012:OCP% }. \NAMECITE{overhead}{% Dutta:2007:OCF% }. \NAMECITE{overlay}{% Bazzi:2007:EDI,% Ganesh:2007:PCS,% Gotte:2023:TOC,% Jain:2007:BSR% }. \NAMECITE{overview}{% Verhoeff:1988:DIC% }. \NAMECITE{{P}}{% Pandya:1991:PLC% }. \NAMECITE{Packet}{% Kesselman:2010:PMQ% }. \NAMECITE{packing}{% Koufogiannakis:2011:DAC% }. \NAMECITE{papers}{% Aguilera:2014:SIS,% Fraigniaud:2013:SIS,% Guerraoui:2012:SSS,% Keidar:2011:SIS,% Moses:2018:ISI,% Panconesi:2015:SIS% }. \NAMECITE{Parallel}{% Boukerche:1995:PSH,% Dolev:2007:PCT,% Czumaj:2024:CSL,% Kanellakis:1992:EPA,% Klasing:2017:MAR,% Lenzen:2016:TBP,% Nanongkai:2022:ECC% }. \NAMECITE{parallelism}{% Ellen:2016:UCE% }. \NAMECITE{Parameterized}{% Aminof:2018:PMC% }. \NAMECITE{parameters}{% Kitamura:2021:LCS% }. \NAMECITE{Parsimonious}{% Baumann:2011:PFD% }. \NAMECITE{Partial}{% Aguilera:2012:PSB% }. \NAMECITE{partially}{% Beimel:2005:ERC,% Chalopin:2012:EPA,% Nguyen:2021:PRS,% Valapil:2020:PSW,% Widder:2007:BCS% }. \NAMECITE{particles}{% DiLuna:2020:SFP% }. \NAMECITE{Partition}{% Cheng:2014:PC% }. \NAMECITE{partitioned}{% Barbara:1986:MEP% }. \NAMECITE{parts}{% Florian:2022:SPA% }. \NAMECITE{party}{% Attie:1993:FHM,% Dani:2017:SMP,% Mitzenmacher:2018:SMP% }. \NAMECITE{passing}{% Arora:2005:UST,% Cadambe:2017:CSA,% Chalopin:2012:EPA,% Chlebus:2001:PTS,% Delporte-Gallet:2011:MIA,% Huang:2020:CCA,% Katz:1993:SSE,% Okun:2008:RSM% }. \NAMECITE{Passive}{% Merayo:2018:PTA% }. \NAMECITE{passively}{% Angluin:2006:CNP% }. \NAMECITE{path}{% Afek:2002:RPC,% Anantharaman:1986:CPE,% Anderson:2001:NFP,% Huang:2006:EFC,% Orda:1996:DSP% }. \NAMECITE{paths}{% Afek:2002:RPC,% Censor-Hillel:2021:FAS,% Chechik:2022:SSS% }. \NAMECITE{{Patricia}}{% Shafiei:2019:NBP% }. \NAMECITE{patrolling}{% Kawamura:2015:FPM% }. \NAMECITE{Pattern}{% Cicerone:2019:AAP,% Cicerone:2019:EPF% }. \NAMECITE{patterns}{% Boczkowski:2019:MMS,% Das:2015:FSG,% Michail:2018:TDC% }. \NAMECITE{{Paxos}}{% Abraham:2006:BDP,% Chockler:2005:ADP,% Gafni:2003:DP,% Lamport:2006:FP% }. \NAMECITE{payment}{% vanGlabbeek:2023:CCP% }. \NAMECITE{pays}{% Moir:2001:LPU% }. \NAMECITE{Peer}{% Ganesh:2007:PCS,% Berenbrink:2016:ERB,% Dolev:2008:HSS,% Jain:2007:BSR,% Kuhn:2010:TWC,% Roussopoulos:2006:PLB% }. \NAMECITE{peer-to-peer}{% Berenbrink:2016:ERB,% Dolev:2008:HSS,% Jain:2007:BSR,% Kuhn:2010:TWC,% Roussopoulos:2006:PLB% }. \NAMECITE{perfectly}{% Bar-Noy:2002:NOP% }. \NAMECITE{performance}{% Anderton:2021:WBA,% Baldoni:1995:CHP,% Brahmadathan:1991:AGP,% Cazzola:2022:PPT,% Chernoy:2010:PDT,% Coulson:2001:ICG,% Lenzen:2017:SCT,% Shafer:1995:IHC% }. \NAMECITE{{PerformERL}}{% Cazzola:2022:PPT% }. \NAMECITE{Performing}{% Chlebus:2001:PTS,% Chlebus:2006:PWB% }. \NAMECITE{periodic}{% Bar-Noy:2002:NOP% }. \NAMECITE{periphery}{% Cruciani:2021:PTC% }. \NAMECITE{permanent}{% Milosevic:2014:TPT% }. \NAMECITE{Permissionless}{% Kuznetsov:2023:PAA% }. \NAMECITE{perspectives}{% Lynch:2003:SPP% }. \NAMECITE{{Petri}}{% Yamaguchi:2003:PSR% }. \NAMECITE{Phase}{% Cruciani:2021:PTC,% Cruciani:2023:PTE% }. \NAMECITE{philosophers}{% Duflot:2004:RDP,% Joung:2002:CTP,% Welch:1993:MDP% }. \NAMECITE{{PIF}}{% Bui:2007:SSP% }. \NAMECITE{placement}{% Barenboim:2022:DBP,% Halldorsson:2018:DBP% }. \NAMECITE{planar}{% Ghosh:1993:SSA,% Wawrzyniak:2015:LAA% }. \NAMECITE{planarity}{% Levi:2021:PTP% }. \NAMECITE{plane}{% Bouchard:2019:AAP,% Dieudonne:2015:DPA,% Hassin:2001:SCN% }. \NAMECITE{platform}{% Coulson:2002:DCR% }. \NAMECITE{Plausible}{% Torres-Rojas:1999:PCC% }. \NAMECITE{plurality}{% Becchetti:2017:SDP,% Fraigniaud:2019:NRS% }. \NAMECITE{{PODC}}{% Alvisi:2011:SIP,% Attiya:2017:SID,% Attiya:2019:SIP,% Attiya:2020:ESI,% Attiya:2021:SIPa,% Attiya:2021:SIPb,% Attiya:2022:SIP,% Attiya:2024:SIP,% Fraigniaud:2013:SIS,% Guerraoui:2012:SSS,% Lynch:2003:SPP,% Panconesi:2015:SIS,% Patt-Shamir:2010:SIP,% Taubenfeld:2015:SIP,% Wattenhofer:2009:SIP% }. \NAMECITE{{PODC'2004}}{% Kutten:2006:ISI% }. \NAMECITE{points}{% Cicerone:2018:GRM% }. \NAMECITE{policy}{% Cook:2002:OLR,% Feigenbaum:2006:MDP,% Retvari:2013:CPR% }. \NAMECITE{polygon}{% DiLuna:2020:MPA% }. \NAMECITE{polylogarithmic}{% Baig:2023:LLC% }. \NAMECITE{polynomial}{% Bouchard:2019:AAP,% Bouchard:2022:BGP,% Dieudonne:2015:DPA,% Fanelli:2011:BRD% }. \NAMECITE{polynomially}{% Bilo:2021:CAN% }. \NAMECITE{population}{% Angluin:2007:CPP,% Angluin:2008:FCP,% Angluin:2008:SPP,% Berenbrink:2021:TST,% Cho:2022:DCC,% Czerner:2023:LBS,% DiLuna:2020:FTS,% Doty:2018:SLE,% Esparza:2021:CVP,% Mizoguchi:2012:SCS% }. \NAMECITE{posets}{% Tarkoma:2006:OCB% }. \NAMECITE{potato}{% Ben-Aroya:1995:GHP,% Feige:2000:NWH% }. \NAMECITE{power}{% Angluin:2007:CPP,% Chalopin:2010:PSB,% Delporte-Gallet:2011:DPA,% Fraigniaud:2014:GRS,% Halpern:1991:CSP,% Kessels:1995:CDC,% Kshemkalyani:2004:PLC,% Lo:2000:PSO,% Mostefaoui:2008:CPR% }. \NAMECITE{power-law}{% Fraigniaud:2014:GRS% }. \NAMECITE{powerful}{% Lewko:2015:CAA% }. \NAMECITE{powerline}{% Pignolet:2016:ULB% }. \NAMECITE{Practical}{% Liskov:1993:PUS,% Roussopoulos:2006:PLB,% Afek:2014:CTP,% Peleg:1997:CWC% }. \NAMECITE{practically\}}{% Valapil:2020:PSW% }. \NAMECITE{practice}{% Sharma:2012:WBG% }. \NAMECITE{Precision}{% Nguyen:2021:PRS% }. \NAMECITE{predicates}{% Chase:1998:DGP,% Stoller:2000:DGP% }. \NAMECITE{Preface}{% Hoare:1986:P% }. \NAMECITE{preorders}{% Celikkan:1995:GDI% }. \NAMECITE{prerelease}{% Siek:2022:LUO% }. \NAMECITE{presence}{% Afek:1995:CGC,% Goldreich:1991:CCP,% Widder:2012:CPM,% Zielinski:2008:LLA% }. \NAMECITE{Preserving}{% Valapil:2020:PSW% }. \NAMECITE{prevention}{% Helary:2000:CBP% }. \NAMECITE{price}{% Dutta:2005:IPI% }. \NAMECITE{pricing}{% Hayrapetyan:2007:NPG% }. \NAMECITE{primal}{% Panconesi:2010:FPD% }. \NAMECITE{primal-dual}{% Panconesi:2010:FPD% }. \NAMECITE{primitives}{% Fich:2006:IWC,% Golab:2012:REI% }. \NAMECITE{priority}{% Kaldewaij:1992:ROF% }. \NAMECITE{private}{% Beimel:2007:PCI% }. \NAMECITE{Probabilistic}{% Abraham:2005:PQD,% Cristian:1989:PCS,% Maxemchuk:1989:PVC,% Aspnes:2012:MAS,% Baier:1998:MCP,% Ciuffoletti:1994:RVC,% Gray:1998:LAM,% Khan:2012:EDA,% Pnueli:1986:VMP% }. \NAMECITE{probabilistic-write}{% Aspnes:2012:MAS% }. \NAMECITE{problem}{% Afek:2010:SCP,% Aguilera:2010:MP,% Berenbrink:2021:TST,% Bruschi:1997:LBB,% Choy:1994:ASM,% Emek:2011:NBC,% Feinerman:2017:AP,% Finkel:1994:DTP,% Ghosh:1997:SSA,% Goldstein:2004:WRP,% Groote:2001:AAW,% Huang:2006:EFC,% Joung:2002:CTP,% Wawrzyniak:2015:LAA% }. \NAMECITE{problems}{% Balliu:2021:AGP,% Balliu:2023:LCP,% Balliu:2023:NEA,% Fischer:1986:EIP,% Hierons:2012:OCP,% Panconesi:2010:FPD% }. \NAMECITE{process}{% Back:1989:DPN,% Gorla:2010:TPC,% Groote:2001:AAW,% Tromp:2002:RTP,% Widder:2007:BCS% }. \NAMECITE{processes}{% Akbari:2016:SAA,% Alon:2005:TBS,% Brookes:1991:DAN,% Chalopin:2010:PSB,% Chandy:1986:HPL,% Chockler:2005:ADP,% Egecioglu:1994:NSP,% Gelashvili:2018:OSC,% Gjessing:1988:SVM,% Groselj:1991:DSC,% Jalote:1989:FTP,% Josephs:1988:SBA,% Malkhi:2003:OSB,% Martin:1986:CCP,% Nguyen:1986:MTP,% Widder:2012:CPM,% vandeSnepscheut:1987:FME% }. \NAMECITE{processing}{% Kung:1986:MIP% }. \NAMECITE{processor}{% Cristian:1991:RAP% }. \NAMECITE{processor-group}{% Cristian:1991:RAP% }. \NAMECITE{processors}{% Chlebus:2001:PTS,% vanLeeuwen:1987:IUD% }. \NAMECITE{profit}{% Anta:2012:OID% }. \NAMECITE{program}{% Engelhardt:2009:CCC,% Sangiorgi:2012:CTT% }. \NAMECITE{programmable}{% DiLuna:2020:SFP% }. \NAMECITE{programming}{% Ahamad:1995:CMD,% Apt:1988:AFL,% Halpern:2004:UCK,% Myoupo:1993:MDP% }. \NAMECITE{programs}{% Bonakdarpour:2012:SSM,% Chandy:1986:SAP,% Fagin:1997:KBP,% Halpern:2000:NKB,% Helary:1994:TCD,% Katz:1992:VDP,% Liskov:1986:SDP,% Nguyen:2021:PRS,% Pandya:1991:PLC% }. \NAMECITE{Progress}{% Hesselink:1999:PUB,% Aguilera:2010:APG,% Taubenfeld:2020:CSP% }. \NAMECITE{prone}{% Brahmadathan:1991:AGP% }. \NAMECITE{Proof}{% Korman:2010:PLS,% Aguilera:2012:CPB,% Bernstein:1987:PTC,% Dijkstra:1986:BPS,% Fraigniaud:2019:RPL,% He:1987:ASP,% Hesselink:1994:WFL,% Hesselink:1995:WFL,% Nguyen:1986:MTP,% Pandya:1991:PLC% }. \NAMECITE{proof-labeling}{% Fraigniaud:2019:RPL% }. \NAMECITE{proofs}{% Feuilloley:2021:RDP,% Fischer:1986:EIP% }. \NAMECITE{propagation}{% Baldoni:2006:OPB% }. \NAMECITE{propagation-based}{% Baldoni:2006:OPB% }. \NAMECITE{properties}{% Arfaoui:2020:DVN,% Censor-Hillel:2019:FDA,% Lynch:1992:UMP,% Marzullo:1994:EDC,% Schiper:1994:SSP,% Shankar:1987:TDD% }. \NAMECITE{Property}{% Levi:2021:PTP,% Aguilera:2010:APG,% Siek:2022:LUO% }. \NAMECITE{Protocol}{% Yamaguchi:2003:PSR,% Angluin:2008:SPP,% Chiao:2002:SSQ,% Hurfin:1999:SFA,% Kant:1996:DPS,% Kapus-Kolar:1999:CDP,% Livesey:2007:DDT,% Lundy:1991:SAD,% Mizoguchi:2012:SCS,% Paliwoda:1991:ISS,% Singh:1995:HAM,% vanGlabbeek:2016:MVA% }. \NAMECITE{protocols}{% Alvisi:2002:CTC,% Angluin:2007:CPP,% Angluin:2008:FCP,% Aspnes:2003:RPA,% Baldoni:2006:OPB,% Berard:2016:FVM,% Berenbrink:2021:TST,% Boczkowski:2019:MMS,% Brunekreef:1996:DAD,% Busch:2008:CFM,% Czerner:2023:LBS,% DiLuna:2020:FTS,% Dobrev:2006:SBH,% Doty:2018:SLE,% Esparza:2021:CVP,% Finkel:1994:DTP,% Ganesh:2021:OEP,% Ghosh:2007:FCS,% Goldreich:2003:CCP,% Gong:1995:ENA,% Gupta:2007:DND,% Junqueira:2010:TPS,% Lin:1988:MCC,% Lubitch:1995:CSN,% Malkhi:2000:SRM,% Maxemchuk:1989:PVC,% Miller:1987:CSS,% Moser:1993:NSC,% Mostefaoui:2004:CBC,% Orda:1996:DSP,% Pachl:1991:ATP,% Pedone:2002:HMS,% Pnueli:1986:VMP,% Singh:1999:CBS,% vanGlabbeek:2023:CCP% }. \NAMECITE{prove}{% Lynch:1992:UMP% }. \NAMECITE{Proving}{% Beauquier:2001:PCS,% Jonsson:1999:PRU,% Shankar:1987:TDD% }. \NAMECITE{pseudo}{% Burns:1993:SPS% }. \NAMECITE{pseudo-stabilization}{% Burns:1993:SPS% }. \NAMECITE{public}{% Dodis:2005:SPK% }. \NAMECITE{public-key}{% Dodis:2005:SPK% }. \NAMECITE{purely}{% Censor-Hillel:2018:DCP% }. \NAMECITE{{QoS}}{% Ackermann:2011:DAQ,% Kesselman:2010:PMQ% }. \NAMECITE{queries}{% Patt-Shamir:2008:ADT,% Yu:2011:SHA% }. \NAMECITE{Queues}{% Castaneda:2023:SLI,% Kaldewaij:1992:ROF,% Ladan-Mozes:2008:OAL,% Shavit:2016:CRD% }. \NAMECITE{queuing}{% Kesselman:2010:PMQ% }. \NAMECITE{quorum}{% Bazzi:2000:SBQ,% Bazzi:2001:ACA,% Chiao:2002:SSQ,% Guerraoui:2010:RQS,% Joung:2010:QSG,% Malkhi:1998:BQS,% Naor:2005:SDQ,% Peleg:1997:CWC,% Yu:2006:SQS% }. \NAMECITE{quorum-based}{% Chiao:2002:SSQ% }. \NAMECITE{quorums}{% Abraham:2005:PQD% }. \NAMECITE{Radio}{% Kowalski:2007:ODB,% Bar-Yehuda:1991:EES,% Bruschi:1997:LBB,% Censor-Hillel:2014:SUR,% Chlebus:2002:DBA,% Chockler:2008:CCD,% Dani:2023:WJM,% Emek:2009:BUR,% Emek:2016:EDS,% Fusco:2010:BUR,% Galcik:2013:EBR,% Gasieniec:2007:FCK,% Gasieniec:2008:TES,% Ghaffari:2015:RBR,% Kowalski:2005:BUA,% Moscibroda:2008:CUR,% Newport:2011:MRN,% Pelc:2007:AAA% }. \NAMECITE{{Rambo}}{% Gilbert:2010:RRR% }. \NAMECITE{random}{% Antoniadis:2018:EDC,% Berenbrink:2016:ERB,% Cooper:2011:DRW,% Czumaj:2013:FMD,% Ganesh:2007:PCS,% Klasing:2017:MAR% }. \NAMECITE{randomised}{% Berenbrink:2016:ERB,% Jeavons:2016:FNS% }. \NAMECITE{Randomization}{% Moniz:2011:RCH,% Attiya:2006:EAC,% Mavronicolas:2010:IRS% }. \NAMECITE{Randomized}{% Abrahamson:1989:RFE,% Aspnes:2003:RPA,% Beauquier:2007:RSS,% Bienkowski:2016:RME,% Duflot:2004:RDP,% Fraigniaud:2014:RDD,% Fraigniaud:2019:RPL,% Ghaffari:2015:RBR,% Hendler:2011:RME,% Lee:2005:RRI,% Panconesi:1998:RNU,% Ramanathan:2007:RLE,% Tromp:2002:RTP,% Aguilera:2012:CPB,% Alistarh:2018:CER,% Aspnes:2015:FRC,% Doerr:2016:SOR,% Giakkoupis:2019:ERT,% Hadzilacos:2022:ARR,% Lenzen:2016:TBP,% Metivier:2011:OBC,% Pogosyants:2000:VRC,% Volk:2022:SOB% }. \NAMECITE{randomness}{% Herman:1992:SSR% }. \NAMECITE{range}{% Galcik:2013:EBR% }. \NAMECITE{Rank}{% Kaldewaij:1992:ROF% }. \NAMECITE{rational}{% Dani:2015:SMR% }. \NAMECITE{re}{% Mittal:2004:FMS,% Yamaguchi:2003:PSR% }. \NAMECITE{re-execution}{% Mittal:2004:FMS% }. \NAMECITE{re-synthesis}{% Yamaguchi:2003:PSR% }. \NAMECITE{Reaching}{% Abraham:2023:RCA,% Cristian:1991:RAP% }. \NAMECITE{reaction}{% Chen:2017:SFC,% Severson:2021:CCD% }. \NAMECITE{Read}{% Castaneda:2023:SLI,% Fatourou:2004:RMW,% Hesselink:2001:WFC,% Bouzid:2018:AOF,% Dolev:1993:SSD,% Golab:2012:REI,% Cook:2002:OLR% }. \NAMECITE{Read-modify-write}{% Fatourou:2004:RMW% }. \NAMECITE{{READ-ONE-WRITE-ALL}}{% Cook:2002:OLR% }. \NAMECITE{Read/Write}{% Castaneda:2023:SLI,% Bouzid:2018:AOF,% Dolev:1993:SSD% }. \NAMECITE{reading}{% Vidyasankar:1990:CRW% }. \NAMECITE{real}{% Mansour:2004:OSS,% Moser:2014:RFT,% Shankar:1987:TDD% }. \NAMECITE{real-time}{% Mansour:2004:OSS,% Moser:2014:RFT,% Shankar:1987:TDD% }. \NAMECITE{realistic}{% Coan:1990:TCR% }. \NAMECITE{really}{% Buhrman:2006:IHI% }. \NAMECITE{recall}{% Nguyen:2021:PRS% }. \NAMECITE{Recognizing}{% Alpern:1987:RSL% }. \NAMECITE{reconcile}{% Schmid:2001:HRF% }. \NAMECITE{reconciliation}{% Mitzenmacher:2018:SMP% }. \NAMECITE{Reconciling}{% Fugger:2012:RFT,% Moser:2014:RFT% }. \NAMECITE{reconfigurable}{% Coulson:2002:DCR,% Gilbert:2010:RRR% }. \NAMECITE{reconfiguration}{% Kuznetsov:2022:ARB,% Michail:2022:DCR,% Walter:2004:DRM% }. \NAMECITE{Recoverable}{% Golab:2019:RME% }. \NAMECITE{recovery}{% Afek:2002:RPC,% Aguilera:2000:FDC,% Bernstein:1987:PTC,% Dutta:2007:OCF,% He:1987:ASP,% Venkatesan:1994:EAO% }. \NAMECITE{recurrence}{% Rajopadhye:1989:SSA% }. \NAMECITE{recursion}{% Meyer:1989:SST% }. \NAMECITE{{RedBlue}}{% Fatourou:2020:RFU% }. \NAMECITE{reduce}{% Herman:1992:SSR% }. \NAMECITE{reduced}{% Agrawal:1987:DOC% }. \NAMECITE{Redundancy}{% Feuilloley:2021:RDP% }. \NAMECITE{reference}{% Detlefs:2002:LFR% }. \NAMECITE{Refined}{% Guerraoui:2010:RQS% }. \NAMECITE{refinement}{% Jonsson:1999:PRU,% Vogler:1991:FSB% }. \NAMECITE{register}{% Merritt:1994:ARO% }. \NAMECITE{registers}{% Anderson:1993:CR,% Anderson:1994:MWC,% Bazzi:1997:URA,% Bouzid:2018:AOF,% Hadzilacos:2022:ARR,% Lee:2005:RRI% }. \NAMECITE{regret}{% Kleinberg:2011:LBR% }. \NAMECITE{regular}{% Beauquier:2001:PCS,% Berenbrink:2016:ERB,% Boldi:2003:LBS% }. \NAMECITE{related}{% Chernoy:2010:PDT,% Ibaraki:1995:OCR% }. \NAMECITE{relations}{% Hierons:2012:IRT,% Hierons:2014:TIR% }. \NAMECITE{Relationships}{% Aspnes:2006:RBB,% Schwarz:1994:DCR% }. \NAMECITE{relaxed}{% Shavit:2016:CRD% }. \NAMECITE{relevant}{% Agarwal:2007:EDT% }. \NAMECITE{Reliability}{% Ciuffoletti:1994:RVC,% Aguilera:2008:IOS,% Tapus:2009:DSE% }. \NAMECITE{Reliable}{% Alon:2019:RCH,% Babaoglu:1988:RBC,% Pagourtzis:2017:RBR,% Aspnes:2006:RBB,% Beimel:2005:ERC,% Chu:2001:DTA,% Engelhardt:2009:CCC,% Malkhi:2000:SRM% }. \NAMECITE{relocatable}{% Eftekhari:2016:DAB% }. \NAMECITE{Remote}{% Cazzola:2003:RMI% }. \NAMECITE{removing}{% Korman:2013:TML% }. \NAMECITE{Renaming}{% Afek:2012:RWF,% Okun:2008:RSM,% Brodsky:2011:FAA,% Castaneda:2010:NCT% }. \NAMECITE{Rendezvous}{% Chalopin:2016:RNS,% Aminof:2018:PMC,% Czyzowicz:2012:HMW,% Czyzowicz:2014:TVS,% Miller:2016:TVC% }. \NAMECITE{rendezvousing}{% Afek:2013:FSR% }. \NAMECITE{repeated}{% Becchetti:2019:SSR% }. \NAMECITE{replace}{% Shafiei:2019:NBP% }. \NAMECITE{replicas}{% Cook:2002:OLR% }. \NAMECITE{replicated}{% Bernstein:1987:PTC% }. \NAMECITE{replicating}{% Yu:2009:OIO% }. \NAMECITE{replication}{% Frolund:2001:XAT% }. \NAMECITE{report}{% Goldstein:2004:WRP% }. \NAMECITE{representative}{% Katz:1992:VDP% }. \NAMECITE{request}{% Coulson:2001:ICG% }. \NAMECITE{requests}{% Roussopoulos:2006:PLB,% Tay:1995:DER% }. \NAMECITE{required}{% Attiya:1997:LHR% }. \NAMECITE{requirements}{% Hadzilacos:1987:CRB% }. \NAMECITE{requires}{% Doty:2018:SLE% }. \NAMECITE{research}{% Anderson:2003:SMM,% Fischer:2003:ATD% }. \NAMECITE{resilience}{% Abraham:2006:BDP,% Abraham:2022:RAF,% Patra:2014:ABA% }. \NAMECITE{Resilient}{% Ben-Or:2003:ROI,% Boyle:2014:LRC,% Correia:2005:LCB,% Lo:2000:PSO,% Lv:2016:FRI,% MacKenzie:2003:DCS% }. \NAMECITE{Resilient-optimal}{% Ben-Or:2003:ROI% }. \NAMECITE{resistant}{% Kuhn:2010:TWC% }. \NAMECITE{resolution}{% Cicerone:2018:GRM,% Fineman:2019:CRF% }. \NAMECITE{resource}{% King:2018:RCJ,% Rhee:1998:MAR% }. \NAMECITE{resource-competitive}{% King:2018:RCJ% }. \NAMECITE{resources}{% Joung:2010:QSG,% Tay:1995:DER,% Yamaguchi:2003:PSR% }. \NAMECITE{respect}{% Pagourtzis:2017:RBR% }. \NAMECITE{response}{% Fanelli:2011:BRD,% Kessels:1990:DSD,% Kessels:1995:CDC% }. \NAMECITE{restartable}{% Chlebus:2001:PTS% }. \NAMECITE{Restoration}{% Afek:2002:RPC% }. \NAMECITE{restricted}{% Hadzilacos:1987:CRB,% Lenzen:2013:DMD% }. \NAMECITE{restrictions}{% Censor-Hillel:2020:DLD% }. \NAMECITE{results}{% Busch:2018:TCI,% Fich:2003:HIR,% Tsay:1993:SIR% }. \NAMECITE{resume}{% Issa:2020:EHT% }. \NAMECITE{Reviewer}{% Anonymous:2021:RA,% Attiya:2012:ABR% }. \NAMECITE{revisited}{% Abraham:2023:CCB,% Vidyasankar:1990:CRW% }. \NAMECITE{Revisiting}{% Abraham:2022:RAF% }. \NAMECITE{revoking}{% Dodis:2005:SPK% }. \NAMECITE{rewriting}{% Beauquier:2001:PCS% }. \NAMECITE{rigorous}{% Cicerone:2019:AAP% }. \NAMECITE{ring}{% Abrahamson:1989:RFE,% Blin:2018:CDS,% Goldreich:1991:CCP,% Klasing:2017:MAR% }. \NAMECITE{Rings}{% Li:2006:CMR,% Beauquier:2007:RSS,% DAngelo:2014:GRU,% DAngelo:2017:UAG,% DiLuna:2020:DED,% DiStefano:2017:OGO,% Flatebo:1995:SSM,% Huang:1999:SSC,% Huang:2003:AUR,% Ibaraki:1995:OCR,% Slivkins:2007:DEO,% vanLeeuwen:1987:IUD% }. \NAMECITE{{RMR}}{% Golab:2012:REI,% Hendler:2011:RME% }. \NAMECITE{{RMR}-complexity}{% Hendler:2011:RME% }. \NAMECITE{{RMR}-efficient}{% Golab:2012:REI% }. \NAMECITE{{RNC}}{% Elkin:2022:LSH% }. \NAMECITE{robot}{% Alcantara:2019:TLC,% Berard:2016:FVM,% Walter:2004:DRM% }. \NAMECITE{robots}{% Cicerone:2018:GRM,% Cicerone:2019:EPF,% Czyzowicz:2015:LSC,% Czyzowicz:2019:SLF,% Das:2015:FSG,% Defago:2020:SSG,% DiLuna:2020:MPA,% DiLuna:2022:TTM,% DiStefano:2017:OGO,% Flocchini:2017:DCM,% Kupavskii:2021:LBS,% Pagli:2015:GCT% }. \NAMECITE{robust}{% Angluin:2008:SPP,% Censor-Hillel:2019:MAD,% Gilbert:2010:RRR,% Hendler:2009:BWC,% Jain:2007:BSR,% Kanellakis:1992:EPA% }. \NAMECITE{robustness}{% Mostefaoui:2008:CPR% }. \NAMECITE{rollback}{% Agrawal:1987:DOC,% Issa:2020:EHT% }. \NAMECITE{rollback-only}{% Issa:2020:EHT% }. \NAMECITE{rooted}{% Balliu:2023:LCP,% Datta:2000:SSD,% Mitzenmacher:1997:CTP,% Winkler:2019:CRD% }. \NAMECITE{rotor}{% Klasing:2017:MAR% }. \NAMECITE{rotor-router}{% Klasing:2017:MAR% }. \NAMECITE{round}{% Halldorsson:2018:CLI,% Naor:2024:ELR% }. \NAMECITE{rounding}{% Fischer:2020:IDD% }. \NAMECITE{router}{% Klasing:2017:MAR% }. \NAMECITE{routers}{% Tarkoma:2006:OCB% }. \NAMECITE{routing}{% Ben-Aroya:1995:GHP,% Bose:2013:BLD,% Dally:1986:TRC,% Elkin:2018:EDC,% Feige:2000:NWH,% Feigenbaum:2005:BBM,% Feigenbaum:2006:MDP,% Feigenbaum:2011:ICI,% Fraigniaud:1997:URS,% Fraigniaud:2001:IRS,% Fraigniaud:2014:GRS,% Hajek:1991:BET,% Hassin:2001:SCN,% Hilbers:1989:DFM,% Lenzen:2019:DDC,% Retvari:2013:CPR,% Roditty:2016:CLS,% vanGlabbeek:2016:MVA% }. \NAMECITE{rumor}{% Avin:2018:BBR,% Doerr:2016:SOR,% Fraigniaud:2019:NRS% }. \NAMECITE{Sade}{% Ogierman:2018:SCM% }. \NAMECITE{safe}{% Engelhardt:2009:CCC% }. \NAMECITE{Safety}{% Dolev:2003:SAL,% Alpern:1987:RSL,% Shankar:1987:TDD,% Siek:2022:LUO% }. \NAMECITE{same}{% Cavalli:1988:EAS% }. \NAMECITE{sampled}{% Feng:2020:WCS% }. \NAMECITE{sampling}{% Ganesh:2007:PCS,% Yu:2011:SHA% }. \NAMECITE{satisfiability}{% Tsuchiya:2011:VCA% }. \NAMECITE{satisfy}{% Lam:1992:SMS% }. \NAMECITE{Scalable}{% Almeida:2019:SEC,% Dani:2015:SMR,% Dodis:2005:SPK,% Naor:2005:SDQ,% Afek:2013:FSR,% Holtby:2008:LBS,% Jain:2007:BSR,% Yang:1995:FSM,% Zhu:2015:SSU% }. \NAMECITE{scale}{% Yu:2011:SHA% }. \NAMECITE{scan}{% Alnuweiri:1991:OGA% }. \NAMECITE{scan-line}{% Alnuweiri:1991:OGA% }. \NAMECITE{scanner}{% Fatourou:2017:LUB% }. \NAMECITE{scheduler}{% Aumann:2005:ELC,% Beauquier:2007:RSS% }. \NAMECITE{schedulers}{% Lubitch:1995:CSN% }. \NAMECITE{schedules}{% Bar-Noy:2002:NOP,% Mansour:2004:OSS% }. \NAMECITE{scheduling}{% Busch:2022:DSD,% Halldorsson:2016:NOB,% Malewicz:2006:DSD,% Panconesi:2010:FPD% }. \NAMECITE{scheme}{% Goos:2014:NST% }. \NAMECITE{schemes}{% Elkin:2018:EDC,% Fraigniaud:1997:URS,% Fraigniaud:2001:IRS,% Fraigniaud:2019:RPL,% Korman:2007:GCL,% Korman:2008:CSD,% Korman:2010:PLS,% Roditty:2016:CLS% }. \NAMECITE{scope}{% Herlihy:2005:TBS% }. \NAMECITE{scrip}{% Kash:2012:OSS% }. \NAMECITE{Search}{% Czyzowicz:2019:SLF,% Afek:2014:CTP,% Schwarz:1994:DCR% }. \NAMECITE{Searching}{% Dobrev:2006:SBH,% Lenzen:2017:SCT,% Borowiecki:2015:DGS,% DAngelo:2017:UAG,% Ilcinkas:2009:CMD,% Kupavskii:2021:LBS% }. \NAMECITE{secret}{% Dani:2015:SMR% }. \NAMECITE{Secretary}{% Chen:2019:SML% }. \NAMECITE{section}{% Guerraoui:2012:SSS% }. \NAMECITE{Secure}{% Dani:2017:SMP,% Malkhi:2000:SRM,% Yu:2011:SHA,% Gilbert:2017:WYS% }. \NAMECITE{security}{% Gray:1998:LAM% }. \NAMECITE{selected}{% Aguilera:2014:SIS,% Fraigniaud:2013:SIS,% Guerraoui:2012:SSS,% Keidar:2011:SIS,% Panconesi:2015:SIS% }. \NAMECITE{selection}{% Jeavons:2016:FNS,% Lenzen:2017:SCT% }. \NAMECITE{Self}{% Afek:1993:SSU,% Becchetti:2019:SSR,% Datta:2000:SSD,% Defago:2020:SSG,% Dolev:1993:SSD,% Ducourthial:2001:SSO,% Flatebo:1995:SSM,% Herlihy:2006:SSS,% Herman:1992:SSR,% Huang:1993:SSD,% Huang:1997:SST,% Huang:1999:SSC,% Katz:1993:SSE,% Afek:2014:CTP,% Beauquier:2001:PCS,% Beauquier:2007:RSS,% Blin:2018:CDS,% Boczkowski:2019:MMS,% Boldi:2002:UDS,% Chernoy:2010:PDT,% Chiao:2002:SSQ,% Dijkstra:1986:BPS,% Dolev:2008:HSS,% Feng:2015:NOU,% Fribourg:2006:CSS,% Ghosh:1993:SSA,% Ghosh:1997:SSA,% Ghosh:2007:FCS,% Huang:2006:EFC,% Karaata:1999:SSA,% Kohler:2012:FCS,% Korman:2015:FCS,% Lenzen:2019:NOS,% Miller:1987:CSS,% Mizoguchi:2012:SCS,% Pandurangan:2014:XLS,% Pandurangan:2016:DSH,% Saad:2017:TEE,% Volk:2022:SOB,% Zhao:1992:SAA% }. \NAMECITE{self-adjusting}{% Afek:2014:CTP,% Zhao:1992:SAA% }. \NAMECITE{self-healing}{% Pandurangan:2014:XLS,% Pandurangan:2016:DSH,% Saad:2017:TEE% }. \NAMECITE{self-stabilising}{% Lenzen:2019:NOS% }. \NAMECITE{Self-stabilization}{% Afek:1993:SSU,% Dolev:1993:SSD,% Ducourthial:2001:SSO,% Herman:1992:SSR,% Dijkstra:1986:BPS,% Feng:2015:NOU,% Fribourg:2006:CSS,% Kohler:2012:FCS,% Volk:2022:SOB% }. \NAMECITE{Self-stabilizing}{% Becchetti:2019:SSR,% Datta:2000:SSD,% Defago:2020:SSG,% Flatebo:1995:SSM,% Herlihy:2006:SSS,% Huang:1993:SSD,% Huang:1997:SST,% Huang:1999:SSC,% Katz:1993:SSE,% Beauquier:2001:PCS,% Beauquier:2007:RSS,% Blin:2018:CDS,% Boczkowski:2019:MMS,% Chernoy:2010:PDT,% Chiao:2002:SSQ,% Dolev:2008:HSS,% Ghosh:1993:SSA,% Ghosh:1997:SSA,% Ghosh:2007:FCS,% Huang:2006:EFC,% Karaata:1999:SSA,% Korman:2015:FCS,% Mizoguchi:2012:SCS% }. \NAMECITE{self-synchronizing}{% Miller:1987:CSS% }. \NAMECITE{selfish}{% Hayrapetyan:2007:NPG% }. \NAMECITE{Semantics}{% Broy:1987:SFI,% Gjessing:1988:SVM,% Keller:1986:SDN,% Meldal:1991:CAS,% Meyer:1989:SST,% Pedone:2002:HMS,% Tapus:2009:DSE,% Vogler:1991:FSB% }. \NAMECITE{semi}{% Brandt:2020:TLB% }. \NAMECITE{semi-synchronous}{% Brandt:2020:TLB% }. \NAMECITE{semiwords}{% Vogler:1991:FSB% }. \NAMECITE{sense}{% Boldi:2003:LBS,% Borowiecki:2015:DGS,% Singh:1997:ELE% }. \NAMECITE{sensitivity}{% Fraigniaud:2009:DCA,% Nguyen:2021:PRS% }. \NAMECITE{sensor}{% Busch:2008:CFM,% Eyal:2011:DDC,% Eyal:2014:LLM,% Yu:2011:SHA% }. \NAMECITE{sensors}{% Angluin:2006:CNP,% Eftekhari:2016:DAB% }. \NAMECITE{separator}{% Korman:2008:CSD% }. \NAMECITE{sequences}{% Das:2015:FSG,% Hierons:2008:CSD,% Katz:1992:VDP% }. \NAMECITE{Sequential}{% Gerth:1999:SCL,% Janssen:1999:CAS,% Lowe:1999:UCV% }. \NAMECITE{Sequentially}{% Mavronicolas:2008:SCV,% Graf:1999:CSC% }. \NAMECITE{Serializable}{% Kurki-Suonio:1992:OSJ,% Broy:1992:AFS% }. \NAMECITE{servers}{% MacKenzie:2003:DCS% }. \NAMECITE{service}{% Gilbert:2010:RRR,% Halldorsson:2019:DAS,% Kant:1996:DPS,% Kapus-Kolar:1999:CDP% }. \NAMECITE{Set}{% Castaneda:2023:SLI,% Afek:2013:BMI,% Aguilera:2012:PSB,% Bouzid:2018:AOF,% Chan:2020:LBS,% Gafni:2011:SCN,% Giakkoupis:2019:ERT,% Herlihy:2005:TBS,% Jayanti:2021:CDS,% Jeavons:2016:FNS,% Junqueira:2010:TPS,% Kuhn:2005:CTD,% Lenzen:2013:DMD,% Mitzenmacher:2018:SMP,% Mostefaoui:2008:CPR,% Schneider:2010:OMI,% Tromp:2002:RTP,% Wawrzyniak:2015:LAA,% Yu:2011:SHA,% Zielinski:2010:AWF% }. \NAMECITE{Set-Linearizable}{% Castaneda:2023:SLI% }. \NAMECITE{Sets}{% Castaneda:2023:SLI,% Halldorsson:2018:CLI,% Jia:2002:EDA% }. \NAMECITE{setting}{% Emek:2016:EDS% }. \NAMECITE{settings}{% Akbari:2016:SAA% }. \NAMECITE{several}{% Jonker:1992:FGC% }. \NAMECITE{shades}{% Gorain:2023:FSD% }. \NAMECITE{Shape}{% DiLuna:2020:SFP% }. \NAMECITE{shapes}{% Michail:2018:TDC% }. \NAMECITE{Shared}{% Anderson:2003:SMM,% Abraham:2006:BDP,% Alon:2005:TBS,% Aspnes:2006:RBB,% Aspnes:2012:MAS,% Becker:2015:AEN,% Cadambe:2017:CSA,% Egecioglu:1994:NSP,% Guerraoui:2007:AFT,% Hendler:2009:BWC,% Klonowski:2019:ODA,% Lo:2000:PSO,% Malkhi:2003:OSB,% Merritt:1993:KSM,% Panconesi:1998:RNU,% Taubenfeld:2020:CSP% }. \NAMECITE{Shared-memory}{% Anderson:2003:SMM,% Aspnes:2012:MAS,% Guerraoui:2007:AFT% }. \NAMECITE{sharing}{% Dani:2015:SMR,% Halldorsson:2010:SSG% }. \NAMECITE{short}{% Winkler:2019:CRD% }. \NAMECITE{short-lived}{% Winkler:2019:CRD% }. \NAMECITE{shortcut}{% Kitamura:2021:LCS% }. \NAMECITE{shortcuts}{% Anagnostides:2023:AUO,% Haeupler:2021:LCS% }. \NAMECITE{shortest}{% Censor-Hillel:2021:FAS,% Chechik:2022:SSS,% Huang:2006:EFC,% Orda:1996:DSP% }. \NAMECITE{shortest-path}{% Orda:1996:DSP% }. \NAMECITE{shot}{% Chockler:2021:MSD,% Gasieniec:2008:TES% }. \NAMECITE{shrinks}{% Fraigniaud:2006:ESE% }. \NAMECITE{shuffle}{% Dima:2012:SSS% }. \NAMECITE{sides}{% Cavalli:1988:EAS% }. \NAMECITE{signals}{% Rajopadhye:1989:SSA% }. \NAMECITE{signature}{% Li:2005:OSB% }. \NAMECITE{signature-based}{% Li:2005:OSB% }. \NAMECITE{Signed}{% Yu:2006:SQS% }. \NAMECITE{Simple}{% Becchetti:2017:SDP,% Doerr:2016:SOR,% Michail:2016:SEL,% Mitzenmacher:2018:SMP,% Akbari:2016:SAA,% Angluin:2008:SPP,% Burns:1994:FSD,% Hurfin:1999:SFA,% Jeavons:2016:FNS,% Panconesi:2001:SSD,% Srikanth:1987:SAB% }. \NAMECITE{Simulating}{% Srikanth:1987:SAB% }. \NAMECITE{simulation}{% Borowsky:2001:BDS,% Boukerche:1995:PSH,% Cavalli:1988:EAS,% DiLuna:2020:FTS,% Groselj:1991:DSC% }. \NAMECITE{simultaneous}{% Afek:2010:SCP,% Neiger:1993:CKC% }. \NAMECITE{since}{% Anderson:2003:SMM% }. \NAMECITE{Single}{% Chechik:2022:SSS,% Bar-Yehuda:1991:EES,% Fatourou:2017:LUB,% Gilbert:2017:WYS,% Halldorsson:2018:CLI% }. \NAMECITE{single-hop}{% Bar-Yehuda:1991:EES% }. \NAMECITE{single-scanner}{% Fatourou:2017:LUB% }. \NAMECITE{Single-source}{% Chechik:2022:SSS% }. \NAMECITE{{SINR}}{% Halldorsson:2016:NOB,% Ogierman:2018:SCM% }. \NAMECITE{size}{% Alnuweiri:1991:OGA,% Boczkowski:2019:MMS,% Elkin:2022:LSH,% Huang:1999:SSC,% Huang:2003:AUR,% Lisper:1991:CTC,% Pettie:2010:DAU,% Torres-Rojas:1999:PCC% }. \NAMECITE{sized}{% Hendler:2006:DSN% }. \NAMECITE{skeletons}{% Pettie:2010:DAU% }. \NAMECITE{sketches}{% Sarma:2015:EDC% }. \NAMECITE{Sketching}{% Xu:2008:SAD% }. \NAMECITE{skip}{% Aksenov:2023:SLD,% Aspnes:2009:EMT% }. \NAMECITE{skip-list}{% Aksenov:2023:SLD% }. \NAMECITE{slicing}{% Mittal:2005:TAC% }. \NAMECITE{sliding}{% Paliwoda:1991:ISS,% Xu:2008:SAD% }. \NAMECITE{sliding-window}{% Paliwoda:1991:ISS% }. \NAMECITE{small}{% Eden:2022:STD,% Elkin:2022:LSH,% Fraigniaud:2006:ESE,% Fraigniaud:2014:GRS,% Jia:2002:EDA,% Kipnis:2010:CDS,% Lenzen:2019:DDC,% Mertzios:2017:DMN% }. \NAMECITE{small-world}{% Fraigniaud:2014:GRS% }. \NAMECITE{smart}{% Dickerson:2020:ACS% }. \NAMECITE{Smoothed}{% Dinitz:2018:SAD% }. \NAMECITE{smoothing}{% Herlihy:2006:SSS,% Mansour:2004:OSS,% Mavronicolas:2010:IRS% }. \NAMECITE{{SMR}}{% Naor:2024:ELR% }. \NAMECITE{Snap}{% Bui:2007:SSP% }. \NAMECITE{Snap-stabilization}{% Bui:2007:SSP% }. \NAMECITE{snapshot}{% Fatourou:2017:LUB% }. \NAMECITE{snapshots}{% Attiya:1995:ASU% }. \NAMECITE{Soft}{% Sanchez:2015:SEM% }. \NAMECITE{Soft-error}{% Sanchez:2015:SEM% }. \NAMECITE{Software}{% Shavit:1997:STM,% Gramoli:2018:TST% }. \NAMECITE{Solo}{% Hendler:2008:SVC% }. \NAMECITE{Solo-valency}{% Hendler:2008:SVC% }. \NAMECITE{solution}{% Michail:2018:TDC% }. \NAMECITE{solutions}{% Choy:1994:ASM% }. \NAMECITE{solvability}{% Mostefaoui:2004:CBC% }. \NAMECITE{solve}{% Eisler:2007:WFD% }. \NAMECITE{solvers}{% Anagnostides:2023:AUO% }. \NAMECITE{solving}{% Delporte-Gallet:2011:MIA,% Tsuchiya:2011:VCA% }. \NAMECITE{Some}{% Jahja:2020:SLB,% Lynch:2003:SPP,% Panconesi:2001:SSD,% Tsay:1993:SIR,% Kupavskii:2021:LBS% }. \NAMECITE{sound}{% Ketchpel:1999:SCA% }. \NAMECITE{soup}{% Michail:2018:HMC% }. \NAMECITE{source}{% Chechik:2022:SSS% }. \NAMECITE{space}{% Beauquier:2007:RSS,% Berenbrink:2021:TST,% Czumaj:2024:CSL,% Czyzowicz:2012:HMW,% Czyzowicz:2014:TVS,% Ellen:2008:SCU,% Gelashvili:2018:OSC,% Herlihy:2007:DTM,% Herman:1992:SSR,% Mizoguchi:2012:SCS,% Roditty:2016:CLS,% Taubenfeld:2014:TSB,% Valapil:2020:PSW% }. \NAMECITE{spanners}{% Censor-Hillel:2018:DCP,% Damian:2009:DCL,% Elkin:2006:EAC,% Elkin:2023:IWA,% Parter:2017:VFT,% Pettie:2010:DAU% }. \NAMECITE{spanning}{% Faloutsos:2004:LTO,% Fischer:2023:DAD,% Gold:1987:DAC,% Khan:2008:FDA,% Korman:2007:DVM,% Mashreghi:2021:BMS,% Singh:1995:HAM% }. \NAMECITE{Sparse}{% Hassin:2001:SCN,% Barenboim:2010:SDM,% Panconesi:2001:SSD% }. \NAMECITE{spatial}{% Lozes:2010:SEL% }. \NAMECITE{spawning}{% Meldal:1991:CAS% }. \NAMECITE{speaking}{% Feinerman:2017:BBS% }. \NAMECITE{Special}{% Aguilera:2014:SIS,% Alvisi:2011:SIP,% Attiya:2016:SIM,% Attiya:2017:SID,% Attiya:2019:SIP,% Attiya:2020:ESI,% Attiya:2021:SIPa,% Attiya:2021:SIPb,% Attiya:2022:SID,% Attiya:2022:SIP,% Attiya:2023:SID,% Attiya:2024:SIP,% Fraigniaud:2007:SID,% Fraigniaud:2013:SIS,% Guerraoui:2012:SSS,% Keidar:2011:SIS,% Lynch:2013:SID,% Panconesi:2015:SIS,% Patt-Shamir:2010:SIP,% Pelc:2008:SID,% Peleg:2013:SID,% Taubenfeld:2010:SID,% Taubenfeld:2015:SIP,% Wattenhofer:2009:SIP,% Dolev:2008:ISI,% Fich:2005:ISI,% Kutten:2006:ISI,% Moses:2018:ISI% }. \NAMECITE{Specification}{% Lundy:1991:SAD,% Broy:1992:AFS,% He:1987:ASP,% Kurki-Suonio:1992:OSJ,% Paliwoda:1991:ISS% }. \NAMECITE{Specifications}{% Liskov:1986:SDP,% Halpern:2000:NKB,% Kant:1996:DPS,% Kapus-Kolar:1999:CDP% }. \NAMECITE{specified}{% Finkel:1994:DTP% }. \NAMECITE{Specifying}{% Lam:1992:SMS% }. \NAMECITE{spectrum}{% Critchlow:1996:ISA,% Halldorsson:2010:SSG% }. \NAMECITE{speculative}{% Tapus:2009:DSE% }. \NAMECITE{Speed}{% Chen:2017:SFC% }. \NAMECITE{speeds}{% Kawamura:2015:FPM% }. \NAMECITE{spin}{% Anderson:1997:ULS% }. \NAMECITE{spinning}{% Kim:2006:NME,% Kim:2007:AME% }. \NAMECITE{spite}{% Chalopin:2016:RNS% }. \NAMECITE{splay}{% Aksenov:2023:SLD% }. \NAMECITE{splay-list}{% Aksenov:2023:SLD% }. \NAMECITE{splitter}{% Afek:2002:LLA% }. \NAMECITE{splitting}{% Ghaffari:2020:IDD% }. \NAMECITE{spoil}{% Michail:2018:HMC% }. \NAMECITE{spreading}{% Avin:2013:OOI,% Avin:2018:BBR,% Clementi:2015:ISD,% Doerr:2016:SOR,% Fraigniaud:2019:NRS% }. \NAMECITE{squad}{% Goldstein:2004:WRP% }. \NAMECITE{squads}{% Lenzen:2019:NOS% }. \NAMECITE{{SR}}{% Andrews:1986:ESL% }. \NAMECITE{stabilising}{% Lenzen:2019:NOS% }. \NAMECITE{stability}{% Czumaj:2024:CSL,% Winkler:2019:CRD% }. \NAMECITE{Stabilization}{% Burns:1993:SPS,% Afek:1993:SSU,% Arora:2005:UST,% Boldi:2002:UDS,% Bui:2007:SSP,% Dijkstra:1986:BPS,% Dolev:1993:SSD,% Dolev:2007:PCT,% Ducourthial:2001:SSO,% Feng:2015:NOU,% Fribourg:2006:CSS,% Herman:1992:SSR,% Kohler:2012:FCS,% Valapil:2020:PSW,% Volk:2022:SOB% }. \NAMECITE{stabilizing}{% Beauquier:2001:PCS,% Beauquier:2007:RSS,% Becchetti:2019:SSR,% Blin:2018:CDS,% Boczkowski:2019:MMS,% Charron-Bost:2021:MAS,% Chernoy:2010:PDT,% Chiao:2002:SSQ,% Datta:2000:SSD,% Defago:2020:SSG,% Dolev:2008:HSS,% Flatebo:1995:SSM,% Ghosh:1993:SSA,% Ghosh:1997:SSA,% Ghosh:2007:FCS,% Herlihy:2006:SSS,% Huang:1993:SSD,% Huang:1997:SST,% Huang:1999:SSC,% Huang:2006:EFC,% Karaata:1999:SSA,% Katz:1993:SSE,% Korman:2015:FCS,% Mizoguchi:2012:SCS% }. \NAMECITE{Stable}{% Doty:2018:SLE,% Zhu:2015:SSU,% Kipnis:2010:CDS,% Marzullo:1994:EDC,% Michail:2016:SEL,% Schiper:1994:SSP% }. \NAMECITE{Stacks}{% Castaneda:2023:SLI,% Afek:2007:CES,% Shavit:2016:CRD% }. \NAMECITE{stamps}{% Israeli:1993:BTS% }. \NAMECITE{stars}{% Pignolet:2013:MSW% }. \NAMECITE{state}{% Angluin:2006:CNP,% Balasubramanian:2014:FTD,% Czerner:2023:LBS,% Josephs:1988:SBA,% Lam:1992:SMS,% Miller:1987:CSS,% Valapil:2020:PSW% }. \NAMECITE{state-based}{% Josephs:1988:SBA% }. \NAMECITE{states}{% Abujarad:2015:CAA,% Chen:2011:EOA% }. \NAMECITE{stealing}{% Hendler:2006:DSN% }. \NAMECITE{Step}{% Meyer:1989:SST,% Baig:2023:LLC% }. \NAMECITE{stigmergy}{% Kozlov:2012:GIA% }. \NAMECITE{Stochastic}{% Goren:2023:SCH,% Boczkowski:2019:MMS% }. \NAMECITE{stopwatches}{% Dima:2012:SSS% }. \NAMECITE{stories}{% Moses:1986:CHO% }. \NAMECITE{strategies}{% Cooper:2011:DRW% }. \NAMECITE{streaming}{% Elkin:2006:EAC% }. \NAMECITE{streams}{% Mansour:2004:OSS,% Xu:2008:SAD% }. \NAMECITE{stretch}{% Hayes:2012:FGD% }. \NAMECITE{Strong}{% Karayel:2022:SEC,% Schiper:1994:SSP,% Siek:2022:LUO% }. \NAMECITE{structure}{% Hayes:2012:FGD,% Taubenfeld:2020:CSP% }. \NAMECITE{structures}{% Gavoille:2003:CLD,% Shavit:2016:CRD% }. \NAMECITE{Structuring}{% Censor-Hillel:2014:SUR,% Singh:1999:CBS% }. \NAMECITE{study}{% Dima:2012:SSS,% Moses:1986:CHO,% Pogosyants:2000:VRC% }. \NAMECITE{Sub}{% Hegeman:2015:SLD,% Hendler:2011:RME% }. \NAMECITE{Sub-logarithmic}{% Hegeman:2015:SLD,% Hendler:2011:RME% }. \NAMECITE{Sublinear}{% Eden:2022:STD% }. \NAMECITE{Sublinear-time}{% Eden:2022:STD% }. \NAMECITE{Sublogarithmic}{% Barenboim:2010:SDM,% Goos:2014:NST% }. \NAMECITE{sublogarithmic-time}{% Goos:2014:NST% }. \NAMECITE{success}{% vanGlabbeek:2023:CCP% }. \NAMECITE{sufficient}{% Kshemkalyani:1998:NSC,% Moser:1993:NSC% }. \NAMECITE{sum}{% Florian:2022:SPA% }. \NAMECITE{Superstabilizing}{% Herman:2000:SME% }. \NAMECITE{support}{% Siek:2022:LUO% }. \NAMECITE{survivor}{% Junqueira:2010:TPS% }. \NAMECITE{suspend}{% Issa:2020:EHT% }. \NAMECITE{suspend/resume}{% Issa:2020:EHT% }. \NAMECITE{swarms}{% Zhu:2015:SSU% }. \NAMECITE{switches}{% Kesselman:2010:PMQ% }. \NAMECITE{sybils}{% Kash:2012:OSS% }. \NAMECITE{Symbolic}{% Bonakdarpour:2012:SSM,% Enders:1993:GBS% }. \NAMECITE{symmetric}{% Egecioglu:1994:NSP% }. \NAMECITE{symmetry}{% Fusco:2015:KLS% }. \NAMECITE{synchronization}{% Chalopin:2010:PSB,% Cristian:1989:PCS,% Drummond:1993:LCC,% Ellen:2020:CBC,% Fan:2006:GCS,% Friedman:1995:IHC,% Goldstein:2004:WRP,% Halpern:1991:CSP,% Lamport:2003:AFS,% Mittal:2004:FMS,% Moir:2001:LPU,% Naor:2024:ELR,% Tsay:1993:SIR,% Widder:2007:BCS% }. \NAMECITE{synchronized}{% Liskov:1993:PUS,% Valapil:2020:PSW% }. \NAMECITE{synchronizing}{% Miller:1987:CSS% }. \NAMECITE{Synchronous}{% Bazzi:2000:SBQ,% Charron-Bost:1996:SAC,% Mostefaoui:2006:SCB,% Boldi:2002:UDS,% Brandt:2020:TLB,% Chlebus:2001:PTS,% Cristian:1991:RAP,% Garg:2007:TME,% Georgiou:2004:CSI,% Goldman:1991:HCL,% Goren:2021:OTS,% Nguyen:2021:PRS,% Okun:2008:RSM,% Widder:2007:BCS% }. \NAMECITE{synchrony}{% Aguilera:2008:IOS,% Aguilera:2012:PSB,% Anta:2012:OID,% Widder:2009:TMA% }. \NAMECITE{synthesis}{% Bonakdarpour:2012:SSM,% Sangiorgi:2012:CTT,% Yamaguchi:2003:PSR% }. \NAMECITE{Synthesizing}{% Rajopadhye:1989:SSA,% Volk:2022:SOB% }. \NAMECITE{system}{% Ahamad:1990:FTA,% Becker:2015:AEN,% Czyzowicz:2015:LSC,% Garg:2007:TME,% Hierons:2012:OCP,% Lam:1992:SMS,% Mukund:1997:KTL,% Nguyen:1986:MTP,% Pandya:1991:PLC,% Schiper:1997:ECAa,% Schiper:1997:ECAb% }. \NAMECITE{systems}{% Abraham:2005:PQD,% Agarwal:2007:EDT,% Aguilera:2008:IOS,% Alon:2005:TBS,% Aminof:2018:PMC,% Arora:1993:CIS,% Arora:2005:UST,% Aspnes:2006:RBB,% Balasubramanian:2014:FTD,% Baldoni:1995:CHP,% Barbara:1986:MEP,% Bazzi:2000:SBQ,% Bazzi:2001:ACA,% Beauquier:2001:PCS,% Berenbrink:2016:ERB,% Bonnet:2013:AAS,% Cavalli:1988:EAS,% Chalopin:2012:EPA,% Charron-Bost:2009:HMC,% Chen:2011:EOA,% Comer:1989:UND,% Cristian:1991:RAP,% Delporte-Gallet:2011:MIA,% Dolev:1993:SSD,% Dolev:2008:HSS,% Florian:2022:SPA,% Fugger:2012:RFT,% Gjessing:1988:SVM,% Glasgow:1989:ONM,% Goren:2023:SCH,% Gray:1998:LAM,% Guerraoui:2002:NBA,% Guerraoui:2010:RQS,% Hadzilacos:2022:ARR,% Halpern:1989:MKA,% Hierons:2012:IRT,% Joung:2010:QSG,% Junqueira:2010:TPS,% Kash:2012:OSS,% Katz:1993:SSE,% Kohler:2012:FCS,% Kozlov:2012:GIA,% Kuhn:2010:TWC,% Kurki-Suonio:2003:ASI,% Liskov:1993:PUS,% Lundy:1991:SAD,% Malkhi:1998:BQS,% Manduchi:2000:AVC,% Mendes:2015:MAB,% Merritt:1993:KSM,% Naor:2005:SDQ,% Nielsen:1990:BNE,% Okun:2008:RSM,% Panangaden:1992:CCK,% Peleg:1997:CWC,% Peleska:1991:DVF,% Perrin:2022:EWF,% Pixley:1988:IGC,% Schiper:1994:SSP,% Shankar:1987:TDD,% Singhal:1991:CDF,% Stoller:2000:DGP,% Torres-Rojas:1999:PCC,% Udding:1986:FMD,% Widder:2007:BCS,% Yu:2006:SQS% }. \NAMECITE{systems-on-chip}{% Fugger:2012:RFT% }. \NAMECITE{Systolic}{% Chandy:1986:SAP,% Kessels:1990:DSD,% Kung:1986:MIP,% Lisper:1991:CTC,% Myoupo:1993:MDP,% Rajopadhye:1989:SSA% }. \NAMECITE{systolizing}{% Lengauer:1991:TSC% }. \NAMECITE{tables}{% Gao:2005:LFD% }. \NAMECITE{talkative}{% Blin:2018:CDS% }. \NAMECITE{talking}{% Joung:2002:CTP% }. \NAMECITE{{TAP}}{% Censor-Hillel:2020:FDA% }. \NAMECITE{tasks}{% Chlebus:2001:PTS,% Delporte-Gallet:2011:MIA% }. \NAMECITE{taxonomy}{% Gorla:2010:TPC% }. \NAMECITE{technique}{% Abboud:2020:FVN,% Bernstein:1987:PTC,% Lubitch:1995:CSN% }. \NAMECITE{Techniques}{% Chase:1998:DGP,% Mittal:2005:TAC% }. \NAMECITE{temporal}{% Nguyen:1986:MTP% }. \NAMECITE{Terminating}{% Michail:2018:TDC% }. \NAMECITE{Termination}{% Hussak:2023:TAF,% Alcantara:2019:TLC,% Arora:2005:UST,% Finkel:1994:DTP,% Helary:1994:TCD,% Livesey:2007:DDT,% Mattern:1987:ADT,% Mittal:2007:FOT% }. \NAMECITE{test}{% Giakkoupis:2019:ERT,% Hierons:2008:CSD,% Hierons:2012:IRT,% Hierons:2014:TIR,% Tromp:2002:RTP% }. \NAMECITE{test-and-set}{% Giakkoupis:2019:ERT,% Tromp:2002:RTP% }. \NAMECITE{testing}{% Cazzola:2022:PPT,% Censor-Hillel:2019:FDA,% Hierons:2012:OCP,% Levi:2021:PTP,% Merayo:2018:PTA,% Sangiorgi:2012:CTT% }. \NAMECITE{their}{% Chase:1998:DGP,% Kshemkalyani:1998:NSC% }. \NAMECITE{them}{% Klonowski:2019:ODA% }. \NAMECITE{theorem}{% Lamport:1990:TAD% }. \NAMECITE{theoretic}{% Chu:2001:DTA,% Halpern:2005:KTA% }. \NAMECITE{theoretical}{% Saad:2017:TEE% }. \NAMECITE{theory}{% Anderton:2021:WBA,% Black:1986:EDI,% Fischer:2003:ATD,% Frolund:2001:XAT,% Sangiorgi:2012:CTT,% Sharma:2012:WBG% }. \NAMECITE{Theta}{% Widder:2009:TMA% }. \NAMECITE{Theta-Model}{% Widder:2009:TMA% }. \NAMECITE{third}{% Chernoy:2010:PDT% }. \NAMECITE{threaded}{% Perrin:2022:EWF% }. \NAMECITE{threads}{% Lamport:2008:IDT,% Sanchez:2015:SEM% }. \NAMECITE{threat}{% Pignolet:2015:ATD% }. \NAMECITE{{Three}}{% Lamport:1992:CLA% }. \NAMECITE{Threshold}{% Junqueira:2010:TPS% }. \NAMECITE{throughput}{% Chlebus:2009:MTM,% Hendler:2009:BWC,% Richa:2013:CTM% }. \NAMECITE{Tight}{% Alon:2005:TBS,% Herlihy:2005:TBS,% Lenzen:2016:TBP,% Taubenfeld:2014:TSB,% Brandt:2020:TLB% }. \NAMECITE{Time}{% Anonymous:2000:ETC,% Berenbrink:2021:TST,% Busch:2018:TCI,% Czyzowicz:2014:TVS,% Gasieniec:2008:TES,% Gotte:2023:TOC,% Miller:2016:TVC,% Shankar:1987:TDD,% Anderson:2002:ILB,% Aspnes:2009:EMT,% Baier:1998:MCP,% Basten:1997:VTC,% Ben-Or:2003:ROI,% Bouchard:2022:BGP,% Dolev:2007:PCT,% Doty:2018:SLE,% Eden:2022:STD,% Faloutsos:2004:LTO,% Feng:2015:NOU,% Fusco:2015:KLS,% Goldstein:2004:WRP,% Goos:2014:NST,% Hajek:1991:BET,% Israeli:1993:BTS,% Kessels:1990:DSD,% Kessels:1995:CDC,% Kim:2012:TCL,% Kuhn:2005:CTD,% Mansour:2004:OSS,% Mitzenmacher:1997:CTP,% Moser:2014:RFT,% Orda:1996:DSP,% Zamsky:1995:OTB,% Zhao:2016:NOC% }. \NAMECITE{Time-communication}{% Busch:2018:TCI% }. \NAMECITE{Time-dependent}{% Shankar:1987:TDD,% Orda:1996:DSP% }. \NAMECITE{time-equivalent}{% Goldstein:2004:WRP% }. \NAMECITE{Time-optimal}{% Gotte:2023:TOC% }. \NAMECITE{Time-space}{% Berenbrink:2021:TST% }. \NAMECITE{time-stamps}{% Israeli:1993:BTS% }. \NAMECITE{time-to-fault}{% Dolev:2007:PCT% }. \NAMECITE{Timed}{% Hierons:2014:TIR,% Sangiorgi:2012:CTT% }. \NAMECITE{timeliness}{% Aguilera:2012:PSB% }. \NAMECITE{timeouts}{% Chaudhuri:1995:UAT% }. \NAMECITE{Timestamping}{% Garg:2007:TME% }. \NAMECITE{timestamps}{% Ellen:2008:SCU,% Merayo:2018:PTA% }. \NAMECITE{timing}{% Alur:1996:FTB,% Coan:1990:TCR,% Lynch:1992:UMP% }. \NAMECITE{timing-based}{% Alur:1996:FTB% }. \NAMECITE{{TLA}}{% Ladkin:1999:LCT% }. \NAMECITE{{TM}}{% Gramoli:2018:TST% }. \NAMECITE{toggle}{% Pachl:1991:ATP% }. \NAMECITE{token}{% Datta:2000:SSD,% Flatebo:1995:SSM,% Huang:1993:SSD,% Huang:1997:SST% }. \NAMECITE{tolerance}{% Abujarad:2015:CAA,% Balasubramanian:2014:FTD,% Tapus:2009:DSE% }. \NAMECITE{tolerant}{% Abraham:2022:RAF,% Ahamad:1990:FTA,% Almeida:2017:FTA,% Bonakdarpour:2012:SSM,% DiLuna:2020:FTS,% Doerr:2016:SOR,% Fugger:2012:RFT,% Georgiou:2011:MDC,% Guerraoui:2007:AFT,% Jalote:1989:FTP,% Lin:2019:AFT,% Moser:2014:RFT,% Parter:2017:VFT,% Peleska:1991:DVF,% Schmid:2001:HRF,% Srikanth:1987:SAB,% Zhao:2016:NOC% }. \NAMECITE{Tolerating}{% Milosevic:2014:TPT,% Minsky:2003:TMG% }. \NAMECITE{top}{% Patt-Shamir:2008:ADT% }. \NAMECITE{top-}{% Patt-Shamir:2008:ADT% }. \NAMECITE{Topology}{% Kowalski:2007:ODB,% Alcantara:2019:TLC,% Castaneda:2010:NCT,% Emek:2009:BUR,% Gasieniec:2007:FCK,% Gasieniec:2008:TES,% Herlihy:2013:TDA,% Pagourtzis:2017:RBR,% Pignolet:2015:ATD% }. \NAMECITE{Torus}{% Kekkonen-Moneta:2002:TO,% Dally:1986:TRC% }. \NAMECITE{tossing}{% Boyle:2014:LRC% }. \NAMECITE{touching}{% Pagli:2015:GCT% }. \NAMECITE{Trace}{% Black:1986:EDI,% Jonsson:1994:FAT% }. \NAMECITE{tracing}{% Dodis:2005:SPK% }. \NAMECITE{track}{% Mukund:1997:KTL% }. \NAMECITE{tracking}{% Agarwal:2007:EDT,% Alvisi:2002:CTC% }. \NAMECITE{Tractable}{% Anta:2021:TLD% }. \NAMECITE{trade}{% Berenbrink:2021:TST,% Czyzowicz:2014:TVS% }. \NAMECITE{trade-offs}{% Berenbrink:2021:TST,% Czyzowicz:2014:TVS% }. \NAMECITE{tradeoff}{% Zhao:2016:NOC% }. \NAMECITE{tradeoffs}{% Babaoglu:1988:RBC,% Lenzen:2017:SCT,% Miller:2016:TVC% }. \NAMECITE{traffic}{% Hayrapetyan:2007:NPG% }. \NAMECITE{Transaction}{% Coan:1990:TCR,% Chockler:2021:MSD% }. \NAMECITE{transactional}{% Alistarh:2018:ILH,% Busch:2018:TCI,% Busch:2022:DSD,% Gramoli:2018:TST,% Guerraoui:2010:MCT,% Herlihy:2007:DTM,% Issa:2020:EHT,% Sanchez:2015:SEM,% Sharma:2012:WBG,% Sharma:2014:DTM,% Shavit:1997:STM,% Siek:2022:LUO% }. \NAMECITE{transactions}{% Ancilotti:1988:AED,% Issa:2020:EHT,% Ketchpel:1999:SCA,% Rukoz:1991:HDD% }. \NAMECITE{transduction}{% Jonsson:1999:PRU% }. \NAMECITE{transfer}{% Kuznetsov:2023:PAA,% Lundy:1991:SAD% }. \NAMECITE{Transient}{% Beauquier:2007:TFD,% Milosevic:2014:TPT% }. \NAMECITE{transition}{% Cruciani:2021:PTC,% Cruciani:2023:PTE,% Hierons:2012:OCP,% Lam:1992:SMS% }. \NAMECITE{transitive}{% Lisper:1991:CTC% }. \NAMECITE{Tree}{% Lv:2016:FRI,% Afek:2014:CTP,% Bui:2007:SSP,% Fischer:2023:DAD,% Gold:1987:DAC,% Khan:2012:EDA,% Mashreghi:2021:BMS,% Mitzenmacher:1997:CTP,% Nesetril:2016:DLT,% Singh:1995:HAM% }. \NAMECITE{tree-depth}{% Nesetril:2016:DLT% }. \NAMECITE{trees}{% Balliu:2023:LCP,% Czyzowicz:2014:TVS,% DiStefano:2017:OGO,% Faloutsos:2004:LTO,% Khan:2008:FDA,% Korman:2007:DVM,% Korman:2007:GCL,% Korman:2008:CSD% }. \NAMECITE{trends}{% Anderson:2003:SMM% }. \NAMECITE{tries}{% Shafiei:2019:NBP% }. \NAMECITE{true}{% Meyer:1989:SST% }. \NAMECITE{tuning}{% Goren:2021:OTS% }. \NAMECITE{{Turing}}{% DiLuna:2022:TTM% }. \NAMECITE{{TuringMobile}}{% DiLuna:2022:TTM% }. \NAMECITE{two}{% Ben-Aroya:1995:GHP,% Chalopin:2010:PSB,% Chatterjee:2020:CLE,% Fischer:2003:ATD,% Tromp:2002:RTP% }. \NAMECITE{two-dimensional}{% Ben-Aroya:1995:GHP% }. \NAMECITE{two-process}{% Tromp:2002:RTP% }. \NAMECITE{type}{% Baldoni:1995:CHP,% Guerraoui:2008:FDT,% Singhal:1991:CDF% }. \NAMECITE{types}{% Hadzilacos:1987:CRB,% Lo:2000:PSO% }. \NAMECITE{{UDG}}{% Emek:2009:BUR,% Fusco:2010:BUR% }. \NAMECITE{ultrasparse}{% Pettie:2010:DAU% }. \NAMECITE{Unbeatable}{% Castaneda:2022:UC% }. \NAMECITE{unbounded}{% Afek:2007:CES,% Ellen:2008:SCU% }. \NAMECITE{uncontended}{% Capdevielle:2017:UCA% }. \NAMECITE{Understanding}{% Comer:1989:UND% }. \NAMECITE{undirected}{% Cooper:2011:DRW,% Kowalski:2005:BUA% }. \NAMECITE{unidirectional}{% Huang:1999:SSC% }. \NAMECITE{unified}{% DAngelo:2017:UAG% }. \NAMECITE{uniform}{% Flocchini:2017:DCM,% Halpern:2005:KTA,% Huang:1997:SST,% Huang:2003:AUR% }. \NAMECITE{Unifying}{% Arora:2005:UST% }. \NAMECITE{union}{% Jayanti:2021:CDS% }. \NAMECITE{Universal}{% Boldi:2002:UDS,% Ellen:2016:UCE,% Fraigniaud:1997:URS,% Buhrman:2006:IHI,% Fatourou:2020:RFU,% Zhu:2015:SSU% }. \NAMECITE{universally}{% Anagnostides:2023:AUO% }. \NAMECITE{unknown}{% Emek:2009:BUR,% Fraigniaud:2001:ALU% }. \NAMECITE{unreliable}{% Afek:1993:SSU,% Almeida:2019:SEC,% Censor-Hillel:2014:SUR% }. \NAMECITE{unstructured}{% Moscibroda:2008:CUR% }. \NAMECITE{until}{% Hesselink:2001:WFC% }. \NAMECITE{{Updating}}{% Almeida:2017:FTA% }. \NAMECITE{Upper}{% Pignolet:2016:ULB,% Fatourou:2017:LUB,% Feng:2015:NOU% }. \NAMECITE{upperbound}{% vanLeeuwen:1987:IUD% }. \NAMECITE{use}{% Bazzi:1997:URA,% Siek:2022:LUO% }. \NAMECITE{useless}{% Chen:2011:EOA,% Helary:2000:CBP% }. \NAMECITE{uses}{% Liskov:1993:PUS% }. \NAMECITE{Using}{% Anderson:1997:ULS,% Chaudhuri:1995:UAT,% Halpern:2004:UCK,% Lowe:1999:UCV,% Lynch:1992:UMP,% Attiya:1995:ASU,% Attiya:2006:EAC,% Avin:2013:OOI,% Balasubramanian:2014:FTD,% Barenboim:2010:SDM,% Barenboim:2013:DDE,% Beauquier:2001:PCS,% Coan:1993:EAU,% Cook:2002:OLR,% Cooper:2011:DRW,% Eftekhari:2016:DAB,% Egecioglu:1994:NSP,% Garg:2007:TME,% Ghaffari:2012:LEU,% Golab:2012:REI,% Jain:2007:BSR,% Jonsson:1999:PRU,% Katz:1992:VDP,% Kozlov:2012:GIA,% Lundy:1991:SAD,% Mittal:2004:FMS,% Panconesi:1998:RNU,% Pandurangan:2014:XLS,% Singh:1997:ELE,% Tsuchiya:2011:VCA,% Valapil:2020:PSW,% Moir:2001:LPU% }. \NAMECITE{valency}{% Hendler:2008:SVC% }. \NAMECITE{value}{% Aumann:2005:ELC,% Milosevic:2014:TPT% }. \NAMECITE{value-oblivious}{% Aumann:2005:ELC% }. \NAMECITE{variables}{% Egecioglu:1994:NSP,% Panconesi:1998:RNU% }. \NAMECITE{Vector}{% Basten:1997:VTC% }. \NAMECITE{vectors}{% Malkhi:2007:CVV% }. \NAMECITE{Verification}{% Katz:1992:VDP,% Pnueli:1986:VMP,% Pogosyants:2000:VRC,% Tsuchiya:2011:VCA,% Berard:2016:FVM,% Gjessing:1988:SVM,% Graf:1999:CSC,% Korman:2007:DVM,% Korman:2015:FCS,% Manduchi:2000:AVC,% Maxemchuk:1989:PVC,% Peleska:1991:DVF% }. \NAMECITE{verify}{% Lowe:1999:UCV% }. \NAMECITE{verifying}{% Arfaoui:2020:DVN,% Esparza:2021:CVP,% vanGlabbeek:2016:MVA% }. \NAMECITE{version}{% Malkhi:2007:CVV% }. \NAMECITE{versus}{% Ciuffoletti:1994:RVC,% Czyzowicz:2014:TVS,% Mavronicolas:2008:SCV,% Miller:2016:TVC% }. \NAMECITE{Vertex}{% Parter:2017:VFT,% Goos:2014:NST% }. \NAMECITE{very}{% Mertzios:2017:DMN% }. \NAMECITE{via}{% Anagnostides:2023:AUO,% Dolev:2003:SAL,% Fischer:2020:IDD,% Issa:2020:EHT,% Khan:2012:EDA,% Mizrahi:2008:CCC,% Slivkins:2007:DEO,% Yu:2011:SHA% }. \NAMECITE{views}{% Abboud:2020:FVN,% Goubault:2018:GCV% }. \NAMECITE{virtualization}{% Pignolet:2015:ATD% }. \NAMECITE{visibility}{% DiLuna:2022:TTM% }. \NAMECITE{{VLSI}}{% Anantharaman:1986:CPE,% Martin:1986:CCP% }. \NAMECITE{{V{\"o}cking}}{% Attiya:2016:SIM% }. \NAMECITE{voting}{% Tang:1994:MV% }. \NAMECITE{Wait}{% Delporte-Gallet:2015:WFA,% Hesselink:1994:WFL,% Hesselink:1995:WFL,% Hesselink:2001:WFC,% Alcantara:2019:TLC,% Anderson:1997:ULS,% Bazzi:1997:URA,% Ellen:2016:UCE,% Fraigniaud:2013:LCW,% Havlicek:2000:COW,% Hendler:2009:BWC,% Panconesi:1998:RNU,% Perrin:2022:EWF,% Tromp:2002:RTP% }. \NAMECITE{Wait-free}{% Hesselink:1994:WFL,% Hesselink:1995:WFL,% Hesselink:2001:WFC,% Alcantara:2019:TLC,% Anderson:1997:ULS,% Bazzi:1997:URA,% Fraigniaud:2013:LCW,% Havlicek:2000:COW,% Panconesi:1998:RNU,% Perrin:2022:EWF,% Tromp:2002:RTP% }. \NAMECITE{Wait-freedom}{% Delporte-Gallet:2015:WFA,% Ellen:2016:UCE% }. \NAMECITE{Wake}{% Dani:2023:WJM,% Goldstein:2004:WRP% }. \NAMECITE{walks}{% Cooper:2011:DRW,% Ganesh:2007:PCS,% Klasing:2017:MAR% }. \NAMECITE{walls}{% Peleg:1997:CWC% }. \NAMECITE{{WAN}}{% Malkhi:2000:SRM% }. \NAMECITE{{Wardrop}}{% Fischer:2008:AWE% }. \NAMECITE{Weak}{% Hella:2015:WMD,% Aguilera:2008:IOS,% DAngelo:2017:UAG,% Hurfin:1999:SFA,% Schiper:1997:ECAa,% Schiper:1997:ECAb% }. \NAMECITE{weakest}{% Afek:2012:RWF,% Dubois:2019:WFD,% Eisler:2007:WFD,% Guerraoui:2008:WFD,% Guerraoui:2009:WFD,% Zielinski:2010:AWF% }. \NAMECITE{weakness}{% Fich:2006:IWC% }. \NAMECITE{weight}{% Fischer:2023:DAD,% Gold:1987:DAC% }. \NAMECITE{weighted}{% Elkin:2023:IWA,% Fanelli:2011:BRD,% Koufogiannakis:2011:DAC% }. \NAMECITE{which}{% Feige:2000:NWH% }. \NAMECITE{while}{% Valapil:2020:PSW,% Vidyasankar:1990:CRW% }. \NAMECITE{whiteboard}{% Becker:2015:AEN% }. \NAMECITE{Who}{% Gilbert:2017:WYS% }. \NAMECITE{{WiFi}}{% Anderton:2021:WBA% }. \NAMECITE{{Williams}}{% Barenboim:2010:SDM% }. \NAMECITE{win}{% Goren:2021:OTS% }. \NAMECITE{Window}{% Sharma:2012:WBG,% Paliwoda:1991:ISS% }. \NAMECITE{Window-based}{% Sharma:2012:WBG% }. \NAMECITE{Windowed}{% Anderton:2021:WBA% }. \NAMECITE{windows}{% Xu:2008:SAD% }. \NAMECITE{{WinFS}}{% Malkhi:2007:CVV% }. \NAMECITE{wireless}{% Busch:2008:CFM,% Chlebus:2022:DBB,% Halldorsson:2016:NOB,% Richa:2013:CTM% }. \NAMECITE{without}{% Abujarad:2015:CAA,% Cicerone:2019:EPF,% Duflot:2004:RDP,% Haeupler:2021:LCS,% Kleinberg:2011:LBR,% Lenzen:2017:SCT,% Pagli:2015:GCT,% Widder:2009:TMA% }. \NAMECITE{{WOOT}}{% Karayel:2022:SEC% }. \NAMECITE{work}{% Chlebus:2006:PWB,% Hendler:2006:DSN,% Klonowski:2019:ODA% }. \NAMECITE{world}{% Fraigniaud:2014:GRS% }. \NAMECITE{worlds}{% Fraigniaud:2006:ESE% }. \NAMECITE{worst}{% Kuhn:2010:TWC% }. \NAMECITE{worst-case}{% Kuhn:2010:TWC% }. \NAMECITE{WRITE}{% Cook:2002:OLR,% Castaneda:2023:SLI,% Aspnes:2012:MAS,% Bouzid:2018:AOF,% Dolev:1993:SSD,% Fatourou:2004:RMW,% Golab:2012:REI,% Groote:2001:AAW% }. \NAMECITE{{Write-All\}}}{% Groote:2001:AAW% }. \NAMECITE{writer}{% Anderson:1994:MWC% }. \NAMECITE{writing}{% Vidyasankar:1990:CRW% }. \NAMECITE{written}{% Kant:1996:DPS,% Kapus-Kolar:1999:CDP% }. \NAMECITE{{X}}{% Frolund:2001:XAT% }. \NAMECITE{{X-Ability}}{% Frolund:2001:XAT% }. \NAMECITE{Xheal}{% Pandurangan:2014:XLS% }.