Reasoning about correctness of transactional memory with operational semantics
author
statement of authorship
Andri Saar, Tarmo Uustalu
location of publication
[Tallinn]
publisher
year of publication
pages
lk. 145-148
conference name, date
Info- ja kommunikatsioonitehnoloogia doktorikooli IKTDK neljas aastakonverents, 26.-27. novembril 2010
conference location
Essu mõis
ISBN
978-9949-23-044-0
notes
Bibliogr.: 8 nim
language
inglise
subject term
Saar, A., Uustalu, T. Reasoning about correctness of transactional memory with operational semantics // Info- ja kommunikatsioonitehnoloogia doktorikooli IKTDK neljanda aastakonverentsi artiklite kogumik : 26.-27. novembril 2010, Essu mõis. [Tallinn] : [Tallinna Tehnikaülikooli kirjastus], 2010. lk. 145-148.