An optimality proof for asynchronous recovery algorithms in distributed systems

From MaRDI portal