Шестнадцатая Всесоюзная школа-семинар по вычислительным сетям : Тез. докл. : [В 3 ч.]. Ч. 2 : Секция 3. Методы обеспечения помехоустойчивости и надежности информационно-вычислительных сетей. Секция 4. Методы формализованного описания, верификации, анализа и реализации протоколов. Программные средства реализации верхних уровней в информационно-вычислительных системах. Секция 5. Методы управления в сетевых системах