Fences in Weak Memory Models Jade Alglave1 , Luc Maranget1 , Susmit Sarkar2 , and Peter Sewell2 1 INRIA - Memory barrier - Document - PDFSEARCH.IO

First Page	Meta Content
	Fences in Weak Memory Models Jade Alglave1 , Luc Maranget1 , Susmit Sarkar2 , and Peter Sewell2 1 INRIA Add to Reading List Document Date: 2012-09-10 07:41:00 Open Document File Size: 211,76 KB Share Result on Facebook

Fences in Weak Memory Models Jade Alglave1 , Luc Maranget1 , Susmit Sarkar2 , and Peter Sewell2 1 INRIAAdd to Reading List