Towards verifying eventually consistent applications

Proceedings of the First Workshop on Principles and Practice of Eventual Consistency - PaPEC '14 ◽

10.1145/2596631.2596638 ◽

2014 ◽

Author(s):

Burcu Kulahcioglu Ozkan ◽

Erdal Mutlu ◽

Serdar Tasiran

Download Full-text