Stream[Article]: Paxos protocol simulation in Akka