Formally Verified Byzantine Agreement in Presence of Link Faults.

Ulrich Schmid, Bettina Weiss, John M. Rushby

Browse the full ICDCS paper archive.