Concurrency case study