A simulation study of replication control protocols using volatile witnesses | IEEE Conference Publication | IEEE Xplore