Computer science/Algorithms/Distributed

Subject Classification

ACM: Theory of computation~Distributed algorithms

AMS: Computer science / Algorithms in computer science / Distributed algorithms

2024

The Sumcheck Protocol

by Azucena Garvia, Christoph Sprenger and Jonathan Bootle

Feb 02

2023

Distributed Distinct Elements

by Emin Karayel

Apr 03

2021

Formalization of Timely Dataflow's Progress Tracking Protocol

by Matthias Brun, Sára Decova, Andrea Lattuada and Dmitriy Traytel

Apr 13

2020

A Formal Proof of The Chandy--Lamport Distributed Snapshot Algorithm

by Ben Fiedler and Dmitriy Traytel

Jul 21

Strong Eventual Consistency of the Collaborative Editing Framework WOOT

by Emin Karayel and Edgar Gonzàlez

Mar 25

2019

Stellar Quorum Systems

by Giuliano Losa

Aug 01

2018

OpSets: Sequential Specifications for Replicated Datatypes

by Martin Kleppmann, Victor B. F. Gomes, Dominic P. Mulligan and Alastair R. Beresford

May 10

2017

The IMAP CmRDT

by Tim Jungnickel, Lennart Oldenburg and Matthias Loibl

Nov 09

A framework for establishing Strong Eventual Consistency for Conflict-free Replicated Datatypes

by Victor B. F. Gomes, Martin Kleppmann, Dominic P. Mulligan and Alastair R. Beresford

Jul 07

2015

Consensus Refined

by Ognjen Marić and Christoph Sprenger

Mar 18

2012

Verifying Fault-Tolerant Distributed Algorithms in the Heard-Of Model

by Henri Debrat and Stephan Merz

Jul 27

Abortable Linearizable Modules

by Rachid Guerraoui, Viktor Kuncak and Giuliano Losa

Mar 01

2006

Instances of Schneider's generalized protocol of clock synchronization

by Damián Barsotti

Mar 15

2005

Formalization of a Generalized Protocol for Clock Synchronization

by Alwen Tiu

Jun 24

Proving the Correctness of Disk Paxos

by Mauro Jaskelioff and Stephan Merz

Jun 22