Аннотации:
Рассматриваются особенности спецификации протоколов управления
информационным обменом в распределенных технических системах средствами
языка таблиц событий. Исследуется возможность автоматической трансляции
протокольных спецификаций на язык программирования высокого уровня.