Lamport's Paxos algorithm

GPTKB entity