C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
A Graph Transformation System formalism for correctness of Transactional Memory algorithms.
Diogo J. Cardoso
Luciana Foss
André Rauber Du Bois
Published in:
SBLP (2021)
Keyphrases
</>
graph transformation
data structure
general purpose
input output
efficient implementation