A model and temporal proof system for networks of processes Van NguyenAlan DemersSusan Owicki OriginalPaper Pages: 7 - 25
Easy impossibility proofs for distributed consensus problems Michael J. FischerNancy A. LynchMichael Merritt OriginalPaper Pages: 26 - 39
Verification of multiprocess probabilistic protocols Amir PnueliLenore Zuck OriginalPaper Pages: 53 - 72