Terms containing schedulability if a nonpreemptive scheduler is used

Subject	English	Russian
progr.	Except for the most critical process, all others maintain their schedulability if a nonpreemptive scheduler is used	Исключая наиболее требовательные процессы, все остальные сохраняют свою планируемость при использовании планировщика без приоритетов (см. Model Checking / Edmund M. Clarke, Jr., Orna Grumberg, and Doron A. Peled 1999 ssn)
progr.	schedulability if a nonpreemptive scheduler is used	планируемость при использовании планировщика без приоритетов (ssn)