Reasoning about correctness of transactional memory
author
Saar, Andri
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.]
publisher
Institute of Cybernetics [at Tallinn University of Technology]
year of publication
2011
pages
1 p
notes
(Student talks 2011 (abstracts))
language
inglise