Concurrency and end states