Reasoning about correctness of transactional memory
autor
vastutusandmed
Andri Saar
allikas
Sixteenth Estonian Winter School in Computer Science (EWSCS'11) : Park Hotel Palmse, Lahemaa, Estonia : February 27 - March 4, 2011
ilmumiskoht
[S. l.]
kirjastus/väljaandja
ilmumisaasta
leheküljed
1 p
märkused
(Student talks 2011 (abstracts))
keel
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.