| | Computation and State Machines (2008) [pdf] (lamport.azurewebsites.net) |
| 83 points by bechap on Sept 18, 2018 | past | 8 comments |
|
| | The Byzantine Generals Problem (1982) [pdf] (lamport.azurewebsites.net) |
| 127 points by xkgt on Aug 6, 2018 | past | 21 comments |
|
| | TLA+ Video Course (lamport.azurewebsites.net) |
| 3 points by ScottWRobinson on July 21, 2018 | past |
|
| | The Future of Computing: Logic or Biology (2003) [pdf] (lamport.azurewebsites.net) |
| 126 points by panic on July 4, 2018 | past | 47 comments |
|
| | The TLA+ Video Course by Leslie Lamport (lamport.azurewebsites.net) |
| 219 points by blopeur on April 30, 2018 | past | 17 comments |
|
| | Specifying Systems (TLA+ Book) out and free for personal use (lamport.azurewebsites.net) |
| 8 points by paxos_failure on April 2, 2018 | past |
|
| | The Future of Computing: Logic or Biology (2003) [pdf] (lamport.azurewebsites.net) |
| 3 points by mpweiher on Jan 28, 2018 | past |
|
| | The Mutual Exclusion Problem Has Been Solved [pdf] (lamport.azurewebsites.net) |
| 3 points by jaffee on Oct 23, 2017 | past |
|
| | On-The-Fly Garbage Collection: An Exercise in Cooperation (1978) [pdf] (lamport.azurewebsites.net) |
| 51 points by mpweiher on Aug 10, 2017 | past | 12 comments |
|
| | Multiple Byte Processing with Full-Word Instructions (1975) [pdf] (lamport.azurewebsites.net) |
| 14 points by mpweiher on Aug 10, 2017 | past |
|
| | What Good Is Temporal Logic? (1983) [pdf] (lamport.azurewebsites.net) |
| 1 point by michaelsbradley on April 12, 2017 | past | 1 comment |
|
| | Use of Formal Methods at Amazon Web Services [pdf](2014) (lamport.azurewebsites.net) |
| 1 point by irfansharif on April 12, 2017 | past |
|
| | Why Don't Computer Scientists Learn Math? (2016) (lamport.azurewebsites.net) |
| 64 points by 0xCMP on March 24, 2017 | past | 111 comments |
|
| | Leslie Lamport: Video course on TLA+ (lamport.azurewebsites.net) |
| 328 points by kelvich on March 20, 2017 | past | 74 comments |
|
| | Computation and State Machines (2008) [pdf] (lamport.azurewebsites.net) |
| 9 points by btrask on Jan 30, 2017 | past | 1 comment |
|
