Operating systems : concurrent and distributed software design - Bacon, Jean , 1942-; Harris, Tim , 1976- (International computer science series, 2003)