Ogre and Pythia: an invariance proof method for weak consistency models.

Jade Alglave, Patrick Cousot

Browse the full POPL paper archive.