Abstract is missing.
- Correctness of Tendermint-Core BlockchainsYackolley Amoussou-Guenou, Antonella Del Pozzo, Maria Potop-Butucaru, Sara Tucci Piergiovanni. [doi]
- Parameterized Synthesis of Self-Stabilizing Protocols in Symmetric RingsNahal Mirzaie, Fathiyeh Faghih, Swen Jacobs, Borzoo Bonakdarpour. [doi]
- The Synergy of Finite State MachinesYehuda Afek, Yuval Emek, Noa Kolikant. [doi]
- Front Matter, Table of Contents, Preface, Conference Organization [doi]
- Characterizing Asynchronous Message-Passing Models Through RoundsAdam Shimi, Aurélie Hurault, Philippe Quéinnec. [doi]
- Local Fast Segment Rerouting on HypercubesKlaus-Tycho Foerster, Mahmoud Parham, Stefan Schmid 0001, Tao Wen. [doi]
- Equilibria of Games in Networks for Local TasksSimon Collet, Pierre Fraigniaud, Paolo Penna. [doi]
- Loosely-Stabilizing Leader Election with Polylogarithmic Convergence TimeYuichi Sudo, Fukuhito Ooshita, Hirotsugu Kakugawa, Toshimitsu Masuzawa, Ajoy K. Datta, Lawrence L. Larmore. [doi]
- Causal Broadcast: How to Forget?Brice Nédelec, Pascal Molli, Achour Mostéfaoui. [doi]
- Lock-Free Search Data Structures: Throughput Modeling with Poisson ProcessesAras Atalar, Paul Renaud-Goud, Philippas Tsigas. [doi]
- Self-Stabilizing Token Distribution with Constant-Space for TreesYuichi Sudo, Ajoy K. Datta, Lawrence L. Larmore, Toshimitsu Masuzawa. [doi]
- Task Computability in Unreliable Anonymous NetworksPetr Kuznetsov, Nayuta Yanagisawa. [doi]
- Sparse Matrix Multiplication and Triangle Listing in the Congested Clique ModelKeren Censor Hillel, Dean Leitersdorf, Elia Turner. [doi]
- You Only Live Multiple Times: A Blackbox Solution for Reusing Crash-Stop Algorithms In Realistic Crash-Recovery SettingsDavid Kozhaya, Ognjen Maric, Yvonne Anne Pignolet. [doi]
- Distributed Systems and Databases of the Globe Unite! The Cloud, the Edge and Blockchains (Keynote)Amr El Abbadi. [doi]
- The Amortized Analysis of a Non-blocking Chromatic TreeJeremy Ko. [doi]
- The Sparsest Additive Spanner via Multiple Weighted BFS TreesKeren Censor Hillel, Ami Paz, Noam Ravid. [doi]
- Hybrid Fault-Tolerant Consensus in Asynchronous and Wireless Embedded SystemsWenbo Xu, Signe Rüsch, Bijun Li, Rüdiger Kapitza. [doi]
- Federated Byzantine Quorum SystemsÁlvaro García-Pérez, Alexey Gotsman. [doi]
- Optimal Rendezvous L-Algorithms for Asynchronous Mobile Robots with External-LightsTakashi Okumura, Koichi Wada, Xavier Défago. [doi]
- Concurrent Specifications Beyond LinearizabilityÉric Goubault, Jérémy Ledent, Samuel Mimram. [doi]
- Concurrent Robin Hood HashingRobert Kelly, Barak A. Pearlmutter, Phil Maguire. [doi]
- How to Make Decisions (Optimally) (Keynote)Siddhartha Sen 0001. [doi]
- Effects of Topology Knowledge and Relay Depth on Asynchronous Appoximate ConsensusDimitris Sakavalas, Lewis Tseng, Nitin H. Vaidya. [doi]
- Complexity of Multi-Valued Register Simulations: A Retrospective (Keynote)Jennifer L. Welch. [doi]
- Output-Oblivious Stochastic Chemical Reaction NetworksBen Chugg, Hooman Hashemi, Anne Condon. [doi]
- Approximate Neighbor Counting in Radio NetworksCalvin Newport, Chaodong Zheng. [doi]
- Linear Rendezvous with Asymmetric ClocksJurek Czyzowicz, Ryan Killick, Evangelos Kranakis. [doi]
- On Simple Back-Off in Unreliable Radio NetworksSeth Gilbert, Nancy A. Lynch, Calvin Newport, Dominik Pajak. [doi]
- Specification and Implementation of Replicated List: The Jupiter Protocol RevisitedHengfeng Wei, Yu Huang 0002, Jian Lu 0001. [doi]
- Large-Scale Distributed Algorithms for Facility Location with OutliersTanmay Inamdar 0002, Shreyas Pai, Sriram V. Pemmaraju. [doi]
- Parallel Combining: Benefits of Explicit SynchronizationVitaly Aksenov, Petr Kuznetsov, Anatoly Shalyto. [doi]