Refinements to concurrency setp