Software Model Checking for Confidentiality Rajeev Alur University of Pennsylvania Joint work with Pavol Cerny.
CPU Scheduling. Reading Silberschatz et al: Chapters 5.2, 5,3, 5.4.
Understanding Operating Systems Sixth Edition Chapter 4 Processor Management.