Serializability for eventual consistency: criterion, analysis, and applications
Lucas Brutschy, Dimitar I. Dimitrov, Péter Müller, Martin Vechev · 2016
Developing and reasoning about systems using eventually consistent data stores is a difficult challenge due to the presence of unexpected behaviors that do not occur under sequential consistency. A fundamental problem in this setting is to identify a correctness criterion that precisely captures intended application behaviors yet is generic enough to be applicable to a wide range of applications.