Session guarantees for weakly consistent replicated data | IEEE Conference Publication | IEEE Xplore