"Scheduler-Independent Declassification."

Alexander Lux, Heiko Mantel, Matthias Perner (2012)
a service of Schloss Dagstuhl - Leibniz Center for Informatics