Reviving strict-concurrency