added concurrency annotations