Comment by zamalek

> A safe async language must guarantee that threads will make progress.

You might be looking for parallelism, not concurrency.