adbs-repcrec Replicated Concurrency Control and Recovery (RepCRec) database system. For a complete description of the project, see http://cs.nyu.edu/courses/fall13/CSCI-GA.2434-001/handDB2.pdf