ГОСТ 10023-93.  Информационная технология. Передача данных и обмен информацией между системами. Формализованное описание услуг транспортного уровня (ГОСТ 34.960-91) на языке LОТОS

Настоящий стандарт распространяется на транспортный уровень эталонной модели взаимосвязи открытых систем (ВОС) и определяет услуги транспортного уровня ВОС, определенные в ГОСТ 34.960, при помощи метода формализованного описания LOTOS, определенного в ИСО 8807. Формальное определение типов данных и процессы, представленные в настоящем стандарте, могут использоваться для формализованного описания протоколов транспортного и сеансового уровней ВОС на языке LOTOS.