CARDOSO, Diogo J.; FOSS, Luciana; DU BOIS, Andre R..
A Methodology for Opacity verification for Transactional Memory algorithms using Graph Transformation System. In: WORKSHOP-ESCOLA DE INFORMÁTICA TEÓRICA (WEIT), 6. , 2021, Online.
Anais [...].
Porto Alegre: Sociedade Brasileira de Computação,
2021
.
p. 9-16.
DOI: https://doi.org/10.5753/weit.2021.18916.