English ⇄ Russian

if a higher-priority process requests execution, it has to wait until the running process finishes stresses
progr.	если более высокоприоритетный процесс обращается с запросом на выполнение, он должен дождаться завершения текущего процесса (см. Model Checking / Edmund M. Clarke, Jr., Orna Grumberg, and Doron A. Peled 1999 ssn)