Diogo J. Cardoso, Luciana Foss, André Rauber Du Bois. A Graph Transformation System formalism for Software Transactional Memory Opacity. In Proceedings of the XXIII Brazilian Symposium on Programming Languages, SBLP 2019, Salvador, Brazil, September 23-27, 2019. pages 3-10, ACM, 2019. [doi]
Abstract is missing.