Ogre and Pythia: An Invariance Proof Method for Weak Consistency Models Jade Alglave Microsoft Research Cambridge, University College London, UK , - Weak consistency - Document - PDFSEARCH.IO

First Page	Meta Content
	Ogre and Pythia: An Invariance Proof Method for Weak Consistency Models Jade Alglave Microsoft Research Cambridge, University College London, UK , Add to Reading List Document Date: 2016-11-25 05:32:52 Open Document File Size: 1,13 MB Share Result on Facebook

Ogre and Pythia: An Invariance Proof Method for Weak Consistency Models Jade Alglave Microsoft Research Cambridge, University College London, UK , Add to Reading List