@conference {inp:LuxMantelPerner2012a, title = {Scheduler-Independent Declassification}, booktitle = {Proceedings of the 11th International Conference on Mathematics of Program Construction (MPC 2012)}, year = {2012}, author = {A. Lux and H. Mantel and M. Perner} }