Items where author is "Khyzha, Artem"
 | Up a level |
Group by: Item Type | No Grouping
Jump to: Thesis
Number of items: 2.
Thesis
Khyzha, Artem (2018). Proving consistency of concurrent data structures and transactional memory systems. Thesis (Doctoral), E.T.S. de Ingenieros Informáticos (UPM). https://doi.org/10.20868/UPM.thesis.52112.
Khyzha, Artem (2014). Concurrent library abstraction without information hiding. Thesis (Master thesis), E.T.S. de Ingenieros Informáticos (UPM).
