strict-concurrency