Wait-free Replicated Data Types and Fair Reconciliation

Petr Kuznetsov, Maxence Perion, Sara Tucci-Piergiovanni

Replication ensures data availability in fault-prone distributed systems. The celebrated CAP theorem stipulates that replicas cannot guarantee both strong consistency and availabil…