| English | Russian |
| disk and execution monitor | задаваемая текущей информацией функция (ssn) |
| disk and execution monitor | "демон" (ssn) |
| disk and execution monitor | присоединённая процедура (работающая в фоновом режиме и выполняющая определённые функции без ведома пользователя ssn) |
| disk and execution monitor | "дракон" (ssn) |
| disk and execution monitor | присоединённая программа (работающая в фоновом режиме и выполняющая определённые функции без ведома пользователя ssn) |
| the time to request data from a monitor task and wait for the response is assumed to be small compared to the total execution time | Время запроса данных у монитора и ожидания ответа предполагается малым по сравнению с общим временем выполнения (см. Model Checking / Edmund M. Clarke, Jr., Orna Grumberg, and Doron A. Peled 1999) |