On the implementation of the Omega failure detector in the crash-recovery failure model | IEEE Conference Publication | IEEE Xplore