Βέττας Ζήσης, Υλοποίηση πρωτοκόλλου συνέπειας κρυφής μνήμης σε σύστημα πολυεπεξεργασίας, 2012,