concurrency spec