Learning Path 9: Consistency
Material
9.0 Motivation
9.1. Consistency
9.2 Formal Specifications of Consistency Models
Chapter 5 of Principles of Eventual Consistency by Sebastian Burckhardt, Microsoft Research
9.3 Conflict-free Replicated Data Types (CRDTs)
Nuno Preguiça. Conflict-free Replicated Data Types: An Overview
9.4 Programming with CRDTs
Marc Shapiro: Living on the edge, safely
9.5. Thank you!
Exercise 9
(Recommended) Deadline: 14 July
Exercise 9 v2 Exercise 9 material v5