Serializability for eventual consistency: criterion, analysis, and applications.

Lucas Brutschy, Dimitar Dimitrov, Peter Mller, Martin T. Vechev

Browse the full POPL paper archive.