Operating systems design and construction techniques. Concurrent programming, correctness, deadlock, protection, transaction processing, design methodologies, and other topics. Structure of different kinds of operating systems.

None