If you’ve ever done even half-serious work on consensus algorithms, then you will know that Leslie Lamport is a central figure. Paxos, Byzantine Generals, TLA — if any of these are familiar to you, well, Lamport is behind them. (And LaTeX too!)
What follows is papers and nuggets from his homepage, biased to blockchain relevance. It’s as much for my own reference as anything:)
30. SIFT: Design and Analysis of a Fault-Tolerant Computer for Aircraft Control, 1978. PDF
The origin of the Byzantine generals problem and its solutions, reported in.
Full blog post is [here]