AAE AAP AAS AAW ABR ACA ACS ADP ADT AED AEM AEN AEO AFL AFS AGM AGP ALU AMC AME AML AOA AODV AOF AP APG ARB ARO ARR ASI ASM ASU ATD ATM ATP AUO AUR AVC AWF Aayush Abbadi Abboud Abdel Abrahamson Abu Abujarad Achour Ackermann Acknowledgement Aderson Aditya Adversarial Afek Aflaki Agarwal Agrawal Agrawala Aguilera Ahad Ahamad Aharonson Ahuja Ajay Ajoy Akbari Akitoshi Aksenov Alain Alc Alcantara Aleksandr Aleksandrs Alessandro Alessia Aleta Alexey Alfie Alin Alistarh Alkida Allon Almeida Alnuweiri Alon Alpern Altaf Alur Alvisi Amara Amato Ambuj Amdur Aminof Amir Amirkeivan Amitabh Amitabha Amnon Amotz Amr Anagnostides Anantharaman Anat Ancilotti Anderton Andr Andreas Andrey Andrzej Angluin Anish Anissa Anneke Anta Antonia Antoniadis Anurag Ara Arag Arfaoui Arie Ariel Aris Arkady Armando Arobinda Arora Aroya Arpita Arshad Artur Ashish Aspnes Assaf Atish Attie Attiya Augusto Aumann Automation Avin Avishai Aviv Awerbuch Azzedine B BBM BBR BBS BCC BCS BDDs BDP BDS BG BGN BGP BLB BLD BMI BMS BNE BPS BQS BRD BSR BTS BUA BUR BWC Babao Babaoglu Bagchi Bagrodia Baichoo Baier Baig Balasubramanian Baldoni Balliu Baquero Barak Barenboim Baruch Barun Basat Bastani Basten Baumann Bazzi Beauquier Becchetti Behavioural Beimel Bengt Berard Berenbrink Berman Bernadette Berthold Bertolino Bharath Bhatia Biely Bienkowski Bil Bilo Binbin Bj Blanquart Blin Boaz Bochmann Boczkowski Bogdan Bojan Bojian Boldi Bonakdarpour Boneh Borokhovich Borowiecki Borowsky Bortnikov Borzoo Bost Bouchard Boukerche Bournat Bouzid Bozga Bozidar Bracha Brahmadathan Brakerski Braverman Bremler Brinksma Brodsky Brookes Broy Brunekreef Bruschi Buhrman Bui Butucaru C CAA CAO CAS CBC CBP CCA CCB CCC CCD CCG CCK CCL CCN CCP CCS CDF CDP CDS CE CER CES CFD CFM CG CGC CHO CHP CID CIS CKC CL CLA CLD CLE CLI CLS CMD CMR CNA CNC CNP CODEN COMPUT CORBA CPB CPE CPM CPP CPR CR CRB CRD CRF CRW CSA CSC CSD CSI CSL CSN CSP CSS CTC CTD CTM CTP CTT CVP CVV CWC CaRuD Cadambe Calculational Capdevielle Carbone Carlos Carmi Carola Carole Carsten Casta Castaneda Cavalli Cazzola Cebri Celikkan Cesarini Chakarat Chakraborty Chalopin Chan Chana Chandy Chaodong Charron Chatterjee Chaudhuri Chaya Chechik Cheng Chernoy Chiao Chlebus Cho Chockler Choreographies Choudhury Choy Christel Christo Christoph Christophe Christos Chryssis Chu Chung Chyau Cicerone Ciciani Ciuffoletti Claudine Cleaveland Clementi Coan Colin Composable Corbin Corentin Correia Costas Coulson Courtillat Crescenzi Cristian Critchlow Cruciani Czerner Czumaj Czyzowicz D D'Angelo DAC DAE DAL DAQ DAS DAU DAngelo DBA DBB DBP DCA DCC DCF DCI DCL DCM DCO DCP DCR DCS DDC DDD DDE DDL DDT DED DEO DER DEX DFM DGC DGP DGS DIC DICOEB DISTRIB DLD DLT DMC DMD DMN DNB DND DNI DOC DP DPA DPN DPS DRM DRW DSC DSD DSE DSH DSN DSP DTA DTM DTP DVF DVM DVN Da Damian Danek Dani Daniele Danilo Danupon Darin Dariusz Das Dasgupta Datta Davide Daymude De Defago Dela Delporte Demers Demirbas Denis Der Derandomizing Dereniowski Detlefs Devaraj Di DiLuna DiStefano Dieudonn Dieudonne Dima Dimitris Dinitz Dirk Distrib Divyakant Dmitry Dobrev Dodis Doerr Dolev Dongxiao Doron Dory Doty Dragos Draque Dror Drozdova Drummond Du Dubois Ducourthial Duflot Duong Durocher Dutta E EAA EAC EAO EAS EAU EBR ECAa ECAb ECC EDA EDC EDD EDI EDS EES EFC EHT EI EIP EKS ELC ELE ELR EMT ENA EOA EPF ERB ERC ERT ESE ESI ESL EWF Ebergen Edsger Eduardo Edya Eftekhari Egecioglu Eilam Eisenstat Eisler El Eldar Elette Elkin Els Emanuele Emek Emin Emo Enders Engelhardt Eran Erez Erlang Esparza Etienne Evangelos Eyal F FAS FAX FCFS FCK FCN FCP FCS FDC FDE FDT FFM FGC FGD FH FHM FMD FME FMS FNS FOT FP FPD FPM FRC FRI FSB FSD FSG FSM FSMs FSR FTA FTB FTD FTP FTS FVM FVN Fabrizio Fagin Fakih Faloutsos Fanelli Farokh Fatourou Fauconnier Fazio Feige Feigenbaum Feijs Feinerman Fekete Felber Feng Ferreira Feuilloley Fich Filkorn Fineman Finkel Flammini Flatebo Flavio Flaviu Flocchini Florent Florian Fouren Fr Fraigniaud Francesco Francez Franck Franti Fri Fribourg Friedemann Friedetzky Friso Frolund Fuad Fugger Furman Fusani Fusco G GBS GCL GCS GCT GCV GDB GDI GDO GFI GHP GIA GIOP GRM GRS GRU Ga Gabriele Gadi Gafni Galcik Gallet Ganesh Gao Garay Garg Gasieniec Gavoille Gazzillo Gelashvili Gelles GeoQuorums Geoff Georgios Georgiou Gerth Ghaffar Ghaffari Ghosh Giacomo Giakkoupis Gianlorenzo Gilad Giladi Gillani Gilles Giorgos Gitlitz Gjessing Glabbeek Godard Gokarna Golab Goldreich Goldstein Goldwasser Gonczarowski Gonz Goos Gopal Gorain Goran Gorla Gotsman Gotte Goubault Gouda Gouleakis Gradinariu Graf Gramoli Gregor Gro Groote Groselj Grumberg Grzegorz Guerraoui Guido Guly Gupta Gurdip H HCL HDD HIR HMC HMM HMS HMW HPL HRF HSS HTC Haddix Hadjistasi Hadzilacos Haeupler Hagit Haifeng Haim Hajek Hakan Hakimi Halld Halldorsson Halpern Hammurabi Hao Hasan Hassin Havlicek Hayrapetyan Hegeman Heger Heiner Helary Hella Hendler Henningsen Henrique Henzinger Heon Herlihy Herv Hesselink Hierons Higashino Higham Hilbers Hinnenthal Hiroshi Hirotaka Hirozumi Hirvonen Hlafo Hoare Hoda Hoefer Holtby Hosame Hsin Hu Huai Huang Hugues Hurfin Hussak Hussein Hutle Hutto HyperTree Hyunyoung ICG ICI ICa ICb IDC IDD IDT IGC IHC IHF IHI ILB ILH IOS IPI IRT ISA ISD ISI ISPs ISS ISSN IUD IWA IWC Ibaraki Ichiro Idit Ilcinkas Indranil Injong Internet Ioan Ioannidis Ioannis Iqra Irvan Ishai Ismail Issa Itai Ittai Ittay Izumi J Jaakko Jaax Jae Jahja Jain Jalal Jalote Janssen Jara Jared Jaros Jaroslav Javali Javier Jayadev Jayanti Jeavons Jhumka Ji Jia Jian Jifeng Jik Jin Joep Joffroy Johan Johnen Johng Jonker Jonni Jonsson Joost Josephs Joung Jovanovic Juang Juho Jukka Jul Julien Jun Jung Junqueira Jurek Justin Jye Jzer K KBA KBP KLS KSM KTA KTL Kai Kalai Kaldewaij Kallimanis Kamal Kameda Kanellakis Kangasharju Kantor Kapa Kaplan Kapron Kapus Karaata Karan Karayel Karolos Kartik Kash Kaski Kat Katoen Katz Kau Kaushik Kavitha Kawamura Kawarabayashi Kawash Kawazoe Keidar Kekkonen Keren Kermarrec Kesselman Kessels Ketchpel Khabbazian Khaled Khandekar Kipnis Kirill Kitagawa Kitamura Klasing Kleinberg Klonowski Kobayashi Kogan Kohler Kolar Konjevod Konrad Kopinsky Korman Koskinen Kosowski Kotek Koufogiannakis Kouznetsov Kowalski Kozlov Kranakis Krauthgamer Krishan Kristian Krzysztof Kshemkalyani Kuen Kulkarni Kumar Kunal Kung Kunz Kupavskii Kurki Kushwaha Kuszner Kutten Kuznetsov Kwiatkowska Kyrill L LAA LBA LBB LBN LBR LBS LCB LCC LCN LCP LCS LCT LCW LEU LFD LFR LHR LL LLA LLB LLC LLM LMC LOTOS LPU LRC LSC LSH LTO LUB LUO LVL Ladan Ladkin Lafourcade Lamani Lamport Lanotte Lapid Laplacian Lauri LeBlanc Leeuwen Lei Leitersdorf Lengauer Lenore Lenzen Leqi Leroux Leszek Lev Levie Lewko Li LiMoSense Liam Lih Lijun Lili Linearizable Ling Lingas Linial Lior Lipschitz Liskov Liu Liuba Livesey Loke Lorenzo Lotker Lov Lozes Lubitch Luca Ludmila Lujun Lukkien Lum Luna Lundelius Lundy Lv M MAB MAS MBC MCB MCC MCP MCT MDC MDP MDT MEP MIA MIP MIS MKA MMS MP MPA MPLS MRN MSD MST MSW MTM MTP MV MVA MWC MacEwen MacKenzie Madhavan Maekawa Magdon Magn Magniette Mahdi Maheshwari Mahnush Mahvesh Majid Maleq Malewicz Malik Malka Malkhi Maller Manduchi Manhoi Mani Manish Mannes Mansour Manuela Marcin Marcos Marek Marios Marius Mariusz Marko Marta Marwan Marzullo Masaaki Masafumi Mashreghi Massimiliano Massouli Masuzawa Mathai Matteo Mattern Matthias Matthieu Matti Mauro Maus Mauw Mavronicolas Maxemchuk Medina Mehmet Meiklejohn Meldal Melliar Mema Mendes Mendez Merav Merayo Mertzios Messika Metivier Mhamdi Miao Micha Michail Michal Michalis Micheal Michele Mika Mikhail Milani Milind Milosevic Mimram Mimun MinMax Ming Mirek Mirela Mirrokni Mirza Mishra Misra Mitra Mittal Mitzenmacher Mizoguchi Mizrahi Mizuno Modelling Mohamed Mohan Mohsen Mohtashami Moir Molina Molle Mon Mondal Moneta Moni Monika Moniz Montesi Monti Mor Mordechai Moro Moscardelli Moscibroda Moser Moshe Mostefaoui Mosteiro Moti Movahedi Mozes Mukesh Mukhtar Mukund Multi Munro Murali Murat Musial Mustaque Myoupo N NBA NBP NCA NCT NEA NFP NJB NKB NME NOC NOP NOS NOU NPG NRS NSC NSP NST NWH Nagamochi Nagda Nagesh Nanongkai Naoki Naor Nardelli Natale Navarra Nayak Ne Neeraj Neiger Neilsen Neiman Nelly Nesetril Nesterenko Neves Nian Nicola Nicolas Nikolaos Nikoletseas Nikos Niloufar Nimrod Ning Ninghui Nir Nisgav Nisse Nissim Nitin Noga Nolte Nonatomic Nowak Noy Nuno O OAA OAL OBA OBC OCB OCF OCP OCR ODA ODB ODC OEP OGA OGO OID OIO OLR OMI ONM OOI OPB OSB OSC OSJ OSS OTB OTS Oded Ofer Ogierman Ohad Okun Olbrich Olsson Ono Opatrny Ophir Orda Oren Orli Orna Oshman Ossona Othon Owicki P PAA PCC PCI PCS PCT PDT PFD PIF PLB PLC PLS PMC PMQ PODC PPT PQD PRS PRU PSB PSH PSO PSR PSW PTC PTE PTP PTS PWB Pacheco Pachl Pagh Pagli Pagourtzis Paliwoda Panagiota Panagiotakos Panangaden Panconesi Pandu Pandurangan Pandya Pankaj Paola Paolo Papadimitriou Papatriantafilou Parameterized Parlavantzas Parter Partha Partosh Parv Patra Patt Paulo Pavel Pawe Paxos Paz Pedone Peihan Pelc Peled Peleg Peleska Pemmaraju Penso Peralta PerformERL Peri Permissionless Perrin Petr Petra Petri Petride Petteri Pettie Peva Philipp Philippe Phillip Picaronny Piergiovanni Pierluigi Pieter Pignolet Piliouras Pinter Piotr Pixley Plaxton Pnueli Poel Pogosyants Ponomarev Pooja Posta Potop Pradipta Prakash Pranay Prasanna Prencipe Pressman Prisco Proietti Prosenjit QSG Qin QoS Quattropani Quentin R RA RAF RAR RBB RBC RBR RCH RCJ RDD RDP REI RFE RFT RFU RLE RM RME RMI RMR RMW RNC RNS RNU ROF ROI RPA RPC RPL RQS RRI RRR RSL RSM RSS RTP RVC RWF Rachid Rachman Radeva Radunovic Radzik Rahul Raipin Rajaraman Rajeev Rajive Rajmohan Rajopadhye Rajsbaum Ralf Ramachandran Ramanathan Ramaraju Ramarao Rambo Rance Rangan Rappoport Rasmus Rati Rawitz Raynal Rebecca RedBlue Reinhard Reino Reiter Rem Ren Retvari Reut Reuven Rhee Riccardo Ricciardi Richa Rida Rinat Rizzi Rizzo Robson Rodeh Roditty Roegel Roei Rog Rogier Rohit Rojas Rokicki Rom Ronaldo Ronen Ronit Roscoe Rotem Rouault Roussopoulos Rozenberg Ruggero Rui Rukoz Ruppert Rybicki Rytter Ryu S SAA SAB SBA SBH SBQ SCA SCB SCH SCL SCM SCN SCP SCS SCT SCU SCV SDM SDN SDP SDQ SEL SEM SFA SFC SFI SFP SHA SID SIM SINR SIPa SIPb SLB SLD SLE SLF SLI SME SML SMM SMP SMR SMS SOR SPK SPP SPS SQS SR SRM SSA SSC SSD SSG SSM SSO SSP SSQ SSR SSS SSU STD STM SUR SVC SVM Saad Saba Sabel Sabnani Sade Saia Sakavalas Sami Sandeep Sandoz Sangiorgi Sanjay Santoro Sarma Sastry Sasu Sathya Sauerwald Sayeed Sch Schapira Scheideler Scheuermann Schiper Schmid Schoone Schossmaier Schuster Schwartzman Schwarz Schwarzmann Scornavacca Scquizzato Sebastiano Segal Segala Seitz Sela Sengupta Sens Sep Serafino Seredinschi Sereni Sergio Serializable Severson Shafer Shafi Shafiei Shafrir Shailesh Shakuntala Shamir Shankar Shantanu Sharma Shavit Shen Shende Shenker Shi Shing Shir Shiri Shlomi Shlomit Shlomo Shmuel Shrira Shvartsman Siddharth Siddhartha Siek Sifakis Sigurd Silvestri Singh Singhal Sjouke Skawratananond Skretas Slivkins Snepscheut Soguet Sohoni Soloveichik Soma Sorrachai Sotiris Soubeyran Soumitra Soumyottam Sozio Spirakis Srikanta Srikanth Sriram Stefano Stephane Stoller Stratis Studen Stupp Su Sublinear Sublogarithmic Suel Sukumar Sunil Suomela Suonio Superstabilizing Suri Sven Svend Sylvie Synn Systolic Syverson Szpankowski T TAC TAF TBE TBP TBS TCD TCI TCL TCR TDA TDC TDD TEK TES TFD TIR TLA TLB TLC TLD TM TMA TME TMG TML TOC TPC TPS TPT TRC TSB TSC TST TTM TVC TVS TWC Tabareau Taisuke Tal Talwar Talya Tamar Tansini Tanter Tapus Tardos Tarjan Tarkoma Tasson Tatsuhiro Taubenfeld Taubner Tauman Tay Tekken Tel Telikepalli Tereshchenko Teruo Tetz Themis Theophanis Thiagarajan Tholoniat Thorsten Tielmann Tigran Tijmen Timestamping Tirthapura Tixeuil Todinca Tomasz Tomer Tomescu Tonkikh Tonoyan Torres Torsten Toshihide Toshimitsu Toueg Touitou Tov Tran Travers Tredan Trehan Trevisan Trigonakis Trisha Tromp Tropper Tsaan Tsay Tsuchiya Tsunehiko Tsvetomira Tucci Tue Turau TuringMobile Tuttle Twan Tzeng Tzong UAG UAT UC UCA UCE UCK UCV UDG UDS ULB ULS UMP UND URA URL URS UST Udaya Udding Udi Ufuk Uitto Ulrich Umesh Ural Uriel V VCA VDP VFT VLSI VMP VRC VTC Vahab Vaidya Valapil Vardi Vargaftik Varsha Vasileios Vassos Vasu Vasudev Vaya Veith Venkatesan Ver Verhoeff Vermeulen Viacheslav Vidhya Vidyasankar Viennot Viglietta Vigna Vijay Viktor Villard Vink Virtema Vit Vitaly Vitanyi Vittorio Viveck Vivek Vogler Volk Volker Vukoli Vyavahare W WBA WBG WCS WDC WFA WFC WFD WFL WJM WMD WOOT WRP WWW WYS Waarts Wai Wardrop Wattenhofer Wawrzyniak Weihl Weil Weiming Welch Welzl Wenliang Werthmann Wexler WiFi Widder Wieder Wil Wim WinFS Winkler Woelfel Wojciech Wojciechowski Wuu X XAT XLS Xheal Xiaozhou Xin Xing Xu Y Yadu Yael Yamaguchi Yamashita Yamauchi Yaniv Yannai Yannic Yaron Yehuda Yehudayoff Yener Yevgeniy Yi Yih Ying Yingchareonthawornchai Yishay Yitong Yiwei Yiyan Yoann Yonatan Yong Yoram Yossi Yu Yuan Yuda Yuexuan Yuezhou Yuh Yukiko Yung Yusuke Yuval Yuxin Yvonne Zaks Zamani Zamsky Zarko Zemmari Zengfeng Zhang Zhao Zheng Zhu Zieli Zielinski Zohir Zuck Zuzic Zvi Zvika Zwiers ack acknowledgement acm adversarial ajournal ambo amoebot apr articleno assertional atrice aug automata aw backoff bastien beebe bibdate bibmods bibnames bibnet bibsource boosters bor byzantine c caching checkability chirality cking colouring com comput counterfactuals cryptocurrency d dard dataflow de deablock dec deque dijkstra distribcomput dy e ecio eda edsger edu ek elj embeddings equational equilibria expanders ez fago faoui feb fjournal fner g gger h hler hoarders hoare hoc homonyms hopbound hopsets http https hyperfairness ichi ieniec il interdomain interprocess interworkings j jan jul jun k ka lary laudine lez lia lin linearizable linearization livelock liveness lu lund m maxima meassage membrship mer middleware mie multi multicaches multicast multicomputer multiprocess mutator mutators n nchez ndez ngens nhfb nonblocking nov ntara nyi o oct ois online org paxos phane polylogarithmic polynomially posets powerline preorders prerelease pu quorums r randomised rard rennes replicas restartable rgio ri ric rio rmann rn rsson rvisalo s satisfiability semiwords sep serializable showtags sieniec solvability sser ssimo stabilising stigmergy stopwatches sublogarithmic sybils systolic systolizing sz szl t tex th tienne timestamps tivier tradeoff tradeoffs tte turing tv u ukasz ultrasparse uncontended upperbound utah va valency vanGlabbeek vanLeeuwen vandeSnepscheut ve virtualization von w whiteboard www y zalp zsef