Implementing the Omega failure detector in the crash-recovery failure model

From MaRDI portal
Publication:1004284