Следует отметить, что при реализации протокола по формальному описанию стандарта разработчик должен тщательно проанализировать все ... - Большая Энциклопедия Нефти и Газа
Выдержка из книги
Зайцев С.С.
Описание реализации протоколов сетей ЭВМ
Следует отметить, что при реализации протокола по формальному описанию стандарта разработчик должен тщательно проанализировать все случаи недетерминизма и в зависимости от конкретных условий оставить его или устранить. Естественно, что в тех случаях, когда недетерминизм нежелателен, рассмотренная модель позволяет спе-цифировать строго детерминированные протокольные автоматы.
