Quantifying Eventual Consistency with PBS. - Bailis, Peter; Venkataraman, Shivaram; Franklin, Michael J.; Hellerstein, Joseph M.; Stoica, Ion (Communications of the ACM, 2014)