-
Björn Brandenburg authored
There can be self-suspending readiness models that also ensure that tasks execute sequentially. Introduce a definition that allows stating that one assumes any such model.
c5b074c3
There can be self-suspending readiness models that also ensure that tasks execute sequentially. Introduce a definition that allows stating that one assumes any such model.