See veebileht kasutab küpsiseid kasutaja sessiooni andmete hoidmiseks. Veebilehe kasutamisega nõustute ETISe kasutustingimustega. Loe rohkem
Olen nõus

Reasoning about correctness of transactional memory with operational semantics

Saar, Andri; Uustalu, Tarmo (2010). Reasoning about correctness of transactional memory with operational semantics. Proceedings of the 22nd Nordic Workshop on Programming Theory, NWPT '10. Ed. Waldén, Marina; Petre, Luigia. Turku: Turku Centre for Computer Science, 72−75. (TUCS General Publications; 57).
publitseeritud konverentsiettekanne
Saar, Andri; Uustalu, Tarmo
  • Inglise
Proceedings of the 22nd Nordic Workshop on Programming Theory, NWPT '10
Waldén, Marina; Petre, Luigia
Turku
Turku Centre for Computer Science
1239-1905
978-952-12-2478-2
TUCS General Publications
57
2010
7275
Ilmunud
5.2. Konverentsiteesid, mis ei kuulu valdkonda 5.1

Viited terviktekstile