Token-based consistency of replicated servers | IEEE Conference Publication | IEEE Xplore