Advanced study in operating systems theory and design with emphasis on case studies and distributed systems.