Enforcing determinism for the consistent replication of multithreaded CORBA applications | IEEE Conference Publication | IEEE Xplore