distributed-algorithms-akka Select algorithms from "Introduction to Reliable and Secure Distributed Programming" by Cachin et al: Paxos (modular form). See UniformConsensus Ben Or. See RandomizedBinaryConsensus