Towards verifying eventually consistent applications

Burcu Kulahcioglu Ozkan, Erdal Mutlu, Serdar Tasiran

Research output: Chapter in Book/Conference proceedings/Edited volume › Conference contribution › Scientific › peer-review

Original language	English
Title of host publication	Proceedings of the First Workshop on Principles and Practice of Eventual Consistency
DOIs	https://doi.org/10.1145/2596631.2596638
Publication status	Published - 13 Apr 2014
Externally published	Yes

Access to Document

@inproceedings{d6451aefe7b14d19a26cb0df6106e848,

title = "Towards verifying eventually consistent applications",

author = "Ozkan, {Burcu Kulahcioglu} and Erdal Mutlu and Serdar Tasiran",

year = "2014",

month = apr,

day = "13",

doi = "10.1145/2596631.2596638",

language = "English",

booktitle = "Proceedings of the First Workshop on Principles and Practice of Eventual Consistency",

}