Towards verifying eventually consistent applications

Conference Paper (2014)
Author(s)

Burcu Kulahcioglu Ozkan (Koç University)

Erdal Mutlu

Serdar Tasiran

DOI related publication
https://doi.org/10.1145/2596631.2596638 Final published version
More Info
expand_more
Publication Year
2014
Language
English
Downloads counter
123