Mechanisms for reliable distributed real-time operating systems : the alpha kernel - Northcutt, J. Duane (New York Academic press, Inc., 1987)
Keywords: operating systems