« BigchainDB: Where it Came From, Where We’re At, Where We’re Headed | Main | Towards a Public BigchainDB »
Wednesday
Mar092016

The Writings of Leslie Lamport (abridged)

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, 1978PDF

The origin of the Byzantine generals problem and its solutions, reported in[41].

...

Full blog post is [here]

Reader Comments

There are no comments for this journal entry. To create a new comment, use the form below.

PostPost a New Comment

Enter your information below to add a new comment.
Author Email (optional):
Author URL (optional):
Post:
 
Some HTML allowed: <a href="" title=""> <abbr title=""> <acronym title=""> <b> <blockquote cite=""> <code> <em> <i> <strike> <strong>