2 citations · 2 across the 1 of their papers we have counts for
1 paper
Reiner Hähnle, Ludovic Henrio
The context of this work is cooperative scheduling, a concurrency paradigm, where task execution is not arbitrarily preempted. Instead, language constructs exist that let a task vo…