1
Assuntos:
“...Memória Transacional de Software...”
Um Formalismo de Gramática de Grafos para Corretude de Memória Transacional de Software
Tese