"Order Reduction for Multi-core Interruptible Operating Systems."

Jonas Oberhauser (2016)
a service of Schloss Dagstuhl - Leibniz Center for Informatics