Replicated Concurrency Control and Recovery project - View it on GitHub