A Little Knowledge Goes a Long Way: Simple Knowledge-based Derivations and Correctness Proofs for a Family of Protocols.

Joseph Y. Halpern

Browse the full PODC paper archive.