Reasoning about correctness of transactional memory
author
statement of authorship
Andri Saar
source
Sixteenth Estonian Winter School in Computer Science (EWSCS'11) : Park Hotel Palmse, Lahemaa, Estonia : February 27 - March 4, 2011
location of publication
[S. l.]
year of publication
pages
1 p
notes
(Student talks 2011 (abstracts))
language
inglise
Saar, A. Reasoning about correctness of transactional memory // Sixteenth Estonian Winter School in Computer Science (EWSCS'11) : Park Hotel Palmse, Lahemaa, Estonia : February 27 - March 4, 2011. [S. l.] : Institute of Cybernetics [at Tallinn University of Technology], 2011. 1 p.