Loose synchronization of multithreaded replicas | IEEE Conference Publication | IEEE Xplore