Correctness Conditions for Highly Available Replicated Databases.

Nancy A. Lynch, Barbara T. Blaustein, Michael D. Siegel

Browse the full PODC paper archive.