Lamport on the origins of Paxos

Leslie Lamport, winner of the Association for Computing Machinery's A.M. Turing Award, discuses the genesis, development and publication of his Paxos algorithm for fault tolerant distributed computing via the coordination of time-stepped replica state machines. This clip is taken from an interview conducted with Lamport by Roy Levin for the ACM and Computer History Museum on August 12, 2016 in Mountain View, CA. Video of the full interview is available as part of Lamport’s ACM profile at amturing.acm.org/award_winner....