PaperGeneralized irreducibility of consensus and the equivalence of t-resilient and wait-free implementations of consensus