An advanced study of operating systems theory including cooperating sequential processes, processor scheduling, paging systems, and memory management.