@InProceedings{BrutschyDimitrovMuellerVechev17, author = {L. Brutschy and D. Dimitrov and P. M\"uller and M. Vechev}, title = {Serializability for Eventual Consistency: Criterion, Analysis, and Applications}, booktitle = {Principles of Programming Languages (POPL)}, year = {2017}, pages = {458--472}, publisher = {ACM}, url = {http://dl.acm.org/citation.cfm?id=3009895}, urltext ={[Publisher]} }