Temporal logic of actions
article-link
What links here
Leslie Lamport
MakeIndex
article-link
Lamport's bakery algorithm
article-link
Lamport timestamp
article-link
Comparison of document markup languages
article-link
Predicate transformer semantics
article-link
Logical clock
article-link
One-time password
article-link
Computer History Museum
article-link
Byzantine fault
article-link
Concurrency (computer science)
article-link
Buridan's ass
article-link
S/KEY
article-link
Self-stabilization
article-link
Sequential consistency
article-link
DEC Systems Research Center
article-link
Timeline of algorithms
article-link
Googlewhack
article-link
Happened-before
article-link
Chandy–Lamport algorithm
article-link
Model checking
article-link
BibTeX
article-link
Typesetting
article-link
Brandeis University
article-link
Marlboro College
article-link
Digital signature
article-link
TeX
article-link
Safe semantics
article-link
Regular semantics
article-link
LaTeX
article-link
List of programmers
article-link
Donald Knuth
article-link
Digital Equipment Corporation
article-link
List of computer scientists
article-link