комп'ютерні мережі, компьютерные сети, computer networks ; мережеві протоколи, сетевые протоколы ; мови програмування, языки программирования, programming languages, langagues de la programmation, Programmiersprachen

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

• http://libsearch.kture/ftplib/ebooks_rus/_PC/_NET/Zaytsev-Opisanije_i_realizatsiya_protokolov_setey_EVM-M-Nauka-1989_rus.djvu

• УДК // Інтернет-протокол TCP/IP
• УДК // Комп’ютерний зв’язок. Комп’ютерні мережі