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… Read moreCertification Requirements for Commercial Airplanes