Obtaining possible execution histories on multiple memory consistency models. - Alba Cristina Magalhaes Alves de Melo; Nilo S. B. Silva; Hammurabi das Chagas Mendes; Diego F. Aranha (SCCC, 2005)