 |
| |||
| exclusion of configurations (метод доказательства таких свойств безопасности, как, напр., взаимное исключение и отсутствие взаимной блокировки. Процесс P1 не может находиться в состоянии, удовлетворяющем условию A1, одновременно с пребыванием процесса P2 в состоянии, удовлетворяющем условию A2, если (A1 ˄ A2) = = false ssn) | |||
| исключение конфигураций: 1 צירופים, 1 נושאים |
| טֶכנוֹלוֹגִיָה | 1 |