Stability in Weak Memory Models Jade Alglave1,2 and Luc Maranget2 1 Oxford University 2 INRIA - Jade - Document - PDFSEARCH.IO

First Page	Meta Content
	Stability in Weak Memory Models Jade Alglave1,2 and Luc Maranget2 1 Oxford University 2 INRIA Add to Reading List Document Date: 2012-09-10 07:41:00 Open Document File Size: 178,77 KB Share Result on Facebook

Stability in Weak Memory Models Jade Alglave1,2 and Luc Maranget2 1 Oxford University 2 INRIAAdd to Reading List