I actually read through all of these (the summaries, not the papers) in the process of writing the TLA+ wikipedia article. Some favorites:<p>* On the oft-misunderstood significance of the bakery algorithm: <a href="https://lamport.azurewebsites.net/pubs/pubs.html#bakery" rel="nofollow">https://lamport.azurewebsites.net/pubs/pubs.html#bakery</a><p>* On submitting an algorithm with a bug in it, thus arousing interest in verifying concurrent algorithms (culminating decades later in the development of TLA+): <a href="https://lamport.azurewebsites.net/pubs/pubs.html#proving" rel="nofollow">https://lamport.azurewebsites.net/pubs/pubs.html#proving</a><p>* On how nobody has actually read his most famous paper (<i>Time, Clocks...</i>): <a href="https://lamport.azurewebsites.net/pubs/pubs.html#time-clocks" rel="nofollow">https://lamport.azurewebsites.net/pubs/pubs.html#time-clocks</a><p>* Hanging out, drinking beer at Dijkstra's house: <a href="https://lamport.azurewebsites.net/pubs/pubs.html#new-approach" rel="nofollow">https://lamport.azurewebsites.net/pubs/pubs.html#new-approac...</a><p>* On creating the first (impractical) digital signature algorithm: <a href="https://lamport.azurewebsites.net/pubs/pubs.html#dig-sig" rel="nofollow">https://lamport.azurewebsites.net/pubs/pubs.html#dig-sig</a><p>* A several-times-rejected paper which then became one of the most cited in the field of temporal logic: <a href="https://lamport.azurewebsites.net/pubs/pubs.html#sometime" rel="nofollow">https://lamport.azurewebsites.net/pubs/pubs.html#sometime</a><p>* A lifelong source of fascination, the arbiter problem: <a href="https://lamport.azurewebsites.net/pubs/pubs.html#buridan" rel="nofollow">https://lamport.azurewebsites.net/pubs/pubs.html#buridan</a><p>* The creation of LaTeX: <a href="https://lamport.azurewebsites.net/pubs/pubs.html#latex" rel="nofollow">https://lamport.azurewebsites.net/pubs/pubs.html#latex</a><p>* On presenting the first paxos paper in an Indiana Jones outfit, to widespread incomprehension: <a href="https://lamport.azurewebsites.net/pubs/pubs.html#lamport-paxos" rel="nofollow">https://lamport.azurewebsites.net/pubs/pubs.html#lamport-pax...</a><p>I'll stop here because basically every single summary is fun and worth reading.
The comments, anecdotes, and historical context he gives the papers are by themselves a great read, especially if you're even somewhat familiar with the results. The comments on #12, which introduces the Bakery Algorithm [1] are a great example of this.<p>[1] <a href="https://en.wikipedia.org/wiki/Lamport%27s_bakery_algorithm" rel="nofollow">https://en.wikipedia.org/wiki/Lamport%27s_bakery_algorithm</a>
"What Good is Temporal Logic?" (<a href="https://lamport.azurewebsites.net/pubs/pubs.html#what-good" rel="nofollow">https://lamport.azurewebsites.net/pubs/pubs.html#what-good</a>) is in the running for my favorite CS paper. Well worth reading, and understandable even if you have a passing familiarity with predicate logic.
This page make me want to write some narratives about my own papers. Maybe I wouldn't release the narratives, but Lamport's page made me realize how much detail is lost to time. The context of the papers is interesting and maybe even relevant to the research.
This reminds me very much of the Dijkstra archive[1]. I look forward to reading all of these as I did with those (the Dutch language ones excepted).<p>[1] <a href="https://www.cs.utexas.edu/users/EWD/" rel="nofollow">https://www.cs.utexas.edu/users/EWD/</a>
If you're more into web design than math, check out that spartan HTML ... it's pre-Geocities, if that's possible.<p>Didn't know that the title element would render fine even inside body!