Leslie Lamport
![Arxiv:1909.05204V3 [Cs.DC] 6 Feb 2020](http://data.docslib.org/img/264x/06bcf1e8a06e7409974cce3a99f217c7.webp)
Top View
- The TLA Toolbox
- Edsger Wybe Dijkstra (1930–2002): a Portrait of a Genius Krzysztof R
- Oral History of Leslie Lamport, Part 2
- A Fast Mutual Exclusion Algorithm
- The Temporal Logic of Actions
- A Simulator of Self-Stabilizing Algorithms Karine Altisen, Stéphane Devismes, Erwan Jahier
- Database and Distributed Computing Foundations of Blockchains
- The =1=Latex Document Preparation System
- Mathematical Writing by Donald E
- Logical Clocks Are Not Fair: What Is Fair? a Case Study of High-Level Language and Optimization
- Contents U U U
- Parallel Computing 1 Parallel Computing
- Leaderless Byzantine Paxos
- Press Release
- August 2002 a Discussion with Leslie Lamport by Dejan Milojicic Dejan
- Leslie Lamport's Logical Clocks : a Tutorial
- Contemporary Approaches to Fault Tolerance
- Barbara Liskov (MIT) – NAE, NAS, AAAS – John Von Neumann Medal – National Inventors Hall of Fame – ACM Turing Award 2008