#fault tolerance #distributed systems #paxos properties #reliability #consensus algorithm