Hammurabi Mendes, Diego Aranha, Alba Melo, and Mário Dantas. 2002. Um Framework para Definição e Análise de Modelos de Consistência de Memória. In Proceedings of the 3rd Brazilian Workshop on High Performance Computing Systems, October 28, 2002, Vitória, Brasil. SBC, Porto Alegre, Brasil, 45-52. DOI: https://doi.org/10.5753/wscad.2002.20760.