Day: August 14, 2011

  • Certification Requirements for Commercial Airplanes

    I was browsing the invited lectures given under Martin Abadi’s College de France lecture series and came across this elegant, simple explanation of so-called Byzantine failures by the gentleman who invented the term, Leslie Lamport. Leslie’s two papers on the subject with Rob Shostak and Marshall Pease in the early 1980’s, Reaching Agreement in the…