Diogo Cardoso, Luciana Foss, and Andre Du Bois. 2021.
 A Methodology for Opacity verification for Transactional Memory algorithms using Graph Transformation System. In <em>Anais do VI Workshop-Escola de Informática Teórica</em>, novembro 17, 2021, Online, Brasil. SBC, Porto Alegre, Brasil, 9-16. DOI: <a href="https://doi.org/10.5753/weit.2021.18916">https://doi.org/10.5753/weit.2021.18916</a>.