High performance state-machine replication | IEEE Conference Publication | IEEE Xplore