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

Название англ.: Information technology. Telecommunications and Information exchange. Between systems. Formal description of 8072 in LOTOS

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