Посвящена формальным методам описаний протоколов. Основу первых двух методов представляют языки LOTOS и ESTELLE, разработапные в Международной организации стандартов. Третий метод представлен языком ОСА (описание сетевых архитектур) и предназначается для проектирования и реализации протоколов в МВК «Эльбрус». Описание трех указанных языков сопровождается рассмотрением модели расширенного конечного автомата и исчисления взаимодействующих систем, па которых базируются эти языки. Для пояснения работы основных языковых конструкций используются многочисленные примеры. Дается сравнительный анализ и определяется область применимости каждого метода. Приводятся спецификации различными методами транспортного протокола и протокола АВР.
Для научных работников, инженеров, а также студентов соответствующих специальностей.
Табл. 18. Ил. 80. Библиогр. 57 пазв.