Lamport on discovering the Bakery Algorithm

Lamport on the origins of Paxos

Hoare on inventing Quicksort

Lamport on writing "Time, Clocks, and the Ordering of Events in a Distributed System"

Kahan on HP calculators: Solve, Integrate and Matrix Operations

Lecture 22 - Leslie Lamport on Writing Papers

A Conversation with Turing Award Winner Leslie Lamport

#18 Bakery's algorithm | Solving Critical Section Problem | Bakery Algorithm in Process

Chill lofi hip hop mix | Study, Work, Relax

Oral History of Leslie Lamport - Part 1

Kahan on creating IEEE Standard Floating Point

World-leaders in Computer Science: Leslie Lamport

Oral History of Severo Ornstein Part 1

Diffie: Explains Public Key Encyption.

2022 ACM A.M. Turing Award

Leslie Lamport: Thinking Above the Code

The Sound of Inner Peace 7 | Relaxing Music for Meditation, Yoga, Stress Relief, Zen & Deep Sleep

Mutual Exclusion & Lamport's Bakery Algorithm

How to think clearly as a programmer with mathematics and TLA+ - Leslie Lamport @ HLF 2019

The Man Who Revolutionized Computer Science With Math

AI and Quantum Computing: Glimpsing the Near Future