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]
@inproceedings{CardosoFB21,
title = {A Graph Transformation System formalism for correctness of Transactional Memory algorithms},
author = {Diogo J. Cardoso and Luciana Foss and André Rauber Du Bois},
year = {2021},
doi = {10.1145/3475061.3475080},
url = {https://doi.org/10.1145/3475061.3475080},
researchr = {https://researchr.org/publication/CardosoFB21},
cites = {0},
citedby = {0},
pages = {49-57},
booktitle = {SBLP'21: 25th Brazilian Symposium on Programming Languages, Joinville, Brazil, 27 September 2021 - 1 October 2021},
editor = {Cristiano D. Vasconcellos and Karina Girardi Roggia and Paulo Bousfield and Vanessa Collereii and João Paulo Fernandes and Mário Pereira},
publisher = {ACM},
isbn = {978-1-4503-9062-0},
}