Diogo Cardoso, Luciana Foss, and Andre Du Bois. 2021.
A Graph Transformation System formalism for correctness of Transactional Memory algorithms. In <em>Anais do XXV Simpósio Brasileiro de Linguagens de Programação</em>, setembro 30, 2021, Joinville, Brasil. SBC, Porto Alegre, Brasil, 49–57.