Implementing the Omega failure detector in the crash-recovery failure model | Publicación