Increasing Consistency in Multi-site Data Stores: Megastore-CGC and Its Formal Analysis.

Jon Grov, Peter Csaba lveczky

Browse the full SEFM paper archive.