Scheduler-independent declassification Lux, Alexander Mantel, Heiko Perner, Matthias 2012 - TUHH Open Research
Declassification with explicit reference points Lux, Alexander Mantel, Heiko 2009 - TUHH Open Research