Proof of OS Scheduling Behavior in the Presence of Interrupt-Induced Concurrency.

June Andronick, Corey Lewis, Daniel Matichuk, Carroll Morgan, Christine Rizkallah

Browse the full ITP paper archive.