@inproceedings{scheduler-independent,
  author	= {Alexander Lux and Heiko Mantel and Matthias Perner},
  title		= {Scheduler-Independent Declassification},
  booktitle	= {Proceedings of the 11th International Conference on
		  Mathematics of Program Construction (MPC)},
  publisher	= {Springer},
  year		= 2012,
  series	= {LNCS 7342},
  pages		= {25--47}
}

@inproceedings{conf/types/Ballarin03,
	added-at = "2011-07-07T00:00:00.000+0200",
	author = "Ballarin, Clemens",
	biburl = "http://www.bibsonomy.org/bibtex/2f22ed76a23eed12c165ab105cba216ea/dblp",
	booktitle = "{TYPES}",
	editor = "Berardi, Stefano and Coppo, Mario and Damiani, Ferruccio",
	ee = "https://doi.org/10.1007/978-3-540-24849-1_3",
	interhash = "2276f05b1970023d96d86bbe954f4096",
	intrahash = "f22ed76a23eed12c165ab105cba216ea",
	isbn = "3-540-22164-6",
	keywords = "dblp",
	pages = "34--50",
	publisher = "Springer",
	series = "{Lecture Notes in Computer Science}",
	title = "{Locales and Locale Expressions in Isabelle/Isar.}",
	url = "http://dblp.uni-trier.de/db/conf/types/types2003.html#Ballarin03",
	volume = 3085,
	x-fetchedfrom = "Bibsonomy",
	year = 2003
}
