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