Paxos Basic Paxos in actor model. TODO: Simulator. More test cases. Deterministic testing framework. Boss Kang: Paxos is much easier than Raft.