What’s Decidable about Weak Memory Models?
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter

Mohamed Faouzi Atig, Ahmed Bouajjani, Sebastian Burckhardt, Madanlal Musuvathi
What’s Decidable about Weak Memory Models?
ESOP, 2012.

ESOP 2012
Full names Links ISxN
	author        = "Mohamed Faouzi Atig and Ahmed Bouajjani and Sebastian Burckhardt and Madanlal Musuvathi",
	booktitle     = "{Proceedings of the 21st European Symposium on Programming}",
	doi           = "10.1007/978-3-642-28869-2_2",
	editor        = "Helmut Seidl",
	isbn          = "978-3-642-28868-5",
	pages         = "26--46",
	publisher     = "{Springer International Publishing}",
	series        = "{Lecture Notes in Computer Science}",
	title         = "{What’s Decidable about Weak Memory Models?}",
	volume        = 7211,
	year          = 2012,


Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.