Probabilistic Atomic Broadcast. - Felber, Pascal; Pedone, Fernando (2002)