Ubik: replicated servers made easy | IEEE Conference Publication | IEEE Xplore