Litmus Tests for Comparing Memory Consistency Models: How Long Do They Need to Be?∗ Sela Mador-Haim Rajeev Alur

First Page		Document Content
Date: 2011-04-06 09:10:35		Litmus Tests for Comparing Memory Consistency Models: How Long Do They Need to Be?∗ Sela Mador-Haim Rajeev Alur Add to Reading List Source URL: www.cis.upenn.edu Download Document from Source Website File Size: 326,49 KB Share Document on Facebook