Delay-bounded scheduling.

Michael Emmi, Shaz Qadeer, Zvonimir Rakamaric

Browse the full POPL paper archive.