Base concurrency spec on time, not order