This course covers techniques for formally analyzing various fundamental concepts and mechanisms which form the basis of the design of advanced operating systems, including distributed, database, and multiprocessor operating systems. Topics covered include synchronization, mutual exclusion, distributed algorithms, security, fault-tolerance, and distributed resource management. Prereq: operating system fundamentals or equivalent.