Theoretical analysis of selected aspects of operating system design; topics include interaction of concurrent processes; scheduling and resource allocation; virtual memory management; access control. Focus on the basic research that led to the rise of modern operating systems.
