ACM: For fundamental contributions to the theory and practice of distributed and concurrent systems, notably the invention of concepts such as causality and logical clocks, safety and liveness, replicated state machines, and sequential consistency. James Temple: Among Lamport’s many contributions, one of the most widely implemented is known as the Paxos algorithm, which can be found … Continue reading Leslie Lamport Wins Turing Award