Verifying eventual consistency of optimistic replication systems.

Ahmed Bouajjani, Constantin Enea, Jad Hamza

Browse the full POPL paper archive.