Implementation of Multi-Paxos for CMSC 23310 using the χdistributed architecture.