thesis: Add concurrency control section