Derivation of Fault Tolerance Properties of Distributed Algorithms.

Philippe Quinnec, Grard Padiou

Browse the full PODC paper archive.