Formalization of Timely Dataflow's Progress Tracking Protocol by Matthias Brun, Sára Decova, Andrea Lattuada and Dmitriy Traytel Apr 13
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
OpSets: Sequential Specifications for Replicated Datatypes by Martin Kleppmann, Victor B. F. Gomes, Dominic P. Mulligan and Alastair R. Beresford May 10
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
Verifying Fault-Tolerant Distributed Algorithms in the Heard-Of Model by Henri Debrat and Stephan Merz Jul 27