An analysis of update ordering in a cluster of replicated servers | IEEE Conference Publication | IEEE Xplore