Diogo J. Cardoso, Luciana Foss, André Rauber Du Bois. A Graph Transformation System formalism for correctness of Transactional Memory algorithms. In Cristiano D. Vasconcellos, Karina Girardi Roggia, Paulo Bousfield, Vanessa Collereii, João Paulo Fernandes, Mário Pereira, editors, SBLP'21: 25th Brazilian Symposium on Programming Languages, Joinville, Brazil, 27 September 2021 - 1 October 2021. pages 49-57, ACM, 2021. [doi]
Abstract is missing.