Terms containing preemptive scheduling

Subject	English	Russian
progr.	we consider two scheduling policies, preemptive scheduling and nonpreemptive scheduling	мы рассматриваем две стратегии планирования: планирование с приоритетами и планирование без приоритетов (см. Model Checking / Edmund M. Clarke, Jr., Orna Grumberg, and Doron A. Peled 1999)