Add concurrency annotations