Systems Group Master's Thesis, no. 35; Department of Computer Science, March 2012 Supervised by: Prof. Timothy Roscoe
@mastersthesis{abc,
author = {Gerd Zellweger},
school = {35},
title = {Unifying Synchronization and Events in a Multicore Operating System},
year = {2012}
}