@mastersthesis{Lyons:be, month = jul, school = {School of Computer Science and Engineering}, note = {Available from publications page at \url{http://ts.data61.csiro.au/}}, author = {Anna Lyons}, title = {Efficient Concurrency Control for High-Performance Microkernels}, address = {Sydney, Australia}, year = {2011} }