Towards verifying eventually consistent applications.

Burcu Kulahcioglu Ozkan, Erdal Mutlu, Serdar Tasiran

Browse the full EuroSys paper archive.