DOCSLIB.ORG
Explore
Sign Up
Log In
Upload
Search
Home
» Tags
» Leslie Lamport
Leslie Lamport
On-The-Fly Garbage Collection: an Exercise in Cooperation
Arxiv:1909.05204V3 [Cs.DC] 6 Feb 2020
Mathematical Writing by Donald E. Knuth, Tracy Larrabee, and Paul M
Verification and Specification of Concurrent Programs
The Specification Language TLA+
Using Lamport Clocks to Reason About Relaxed Memory Models
Should Your Specification Language Be Typed?
(LA)TEX Changed the Face of Mathematics: An
A Fast Mutual Exclusion Algorithm
The Greatest Pioneers in Computer Science
A Fast Mutual Exclusion Algorithm
The Pluscal Algorithm Language
A Document Preparation System User's Guide and Reference
Preparing Articles for the ACM Transactions with LATEX
An Introduction to TEX and LATEX
Leslie Lamport
Handout 21: Distributed Systems
The Operators of TLA+
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