Алгоритмы верификации и производительности сетевых протоколов Шавкат Саидахмедов

Монография посвящена описанию и практической реализации протокольных объектов основанных на логическую и процедурную характеристики с использованием последовательной схемы моделирования (блок-схемы), через «условия и события» на основе алгоритма их функционирования и сетей Петри. Все, о чем написано в этой монографии, составляет обобщение некоторого опыта и знаний о верификации и производительности протоколов с точки зрения компьютерных сетей. Несмотря на то, что автор старался к широте охвата проблемы, читатель почувствовал, что знания о верификации и производительности протоколов еще далеко не полны. Наука здесь находится еще в стадии становления. Это проявляется хотя бы в том, что не существует уравнения состояния и другие математические выражения, для оценки вероятностно-временных характеристик протокола с точки зрения его практической реализации. Это и многое другое вы найдете в книге Алгоритмы верификации и производительности сетевых протоколов (Шавкат Саидахмедов)