Leslie Lamport - Cornell Computer Science

Atomic registers; Byzantine Generals' Problem; Paxos Algorithm; Temporal Logic of ... Leslie Lamport chilling on a boat with Andy van Dam.
展开查看详情