True Concurrency at Work: Relaxed Memory Models Gérard Boudol (joint work with Gustavo Petri) INRIA Sophia Antipolis - Gerard - Document - PDFSEARCH.IO

First Page	Meta Content
	True Concurrency at Work: Relaxed Memory Models Gérard Boudol (joint work with Gustavo Petri) INRIA Sophia Antipolis Add to Reading List Document Date: 2009-11-04 11:20:44 Open Document File Size: 140,05 KB Share Result on Facebook

True Concurrency at Work: Relaxed Memory Models Gérard Boudol (joint work with Gustavo Petri) INRIA Sophia AntipolisAdd to Reading List