Информационные технологии. Телекоммуникации и обмен информацией между системами. Формальное описание ISO 8072 на языке LOTOS
Название (англ.):
Information technology; telecommunications and information exchange between systems; formal description of ISO 8072 in LOTOS
Описание (англ.):
Describes interface data types, global constraints, provision of a transport connection, local constraints for a transport connection endpoint, end-to-end constraints for a single transport connection, identification of transport connections, acceptance of transport connections, flow control by backpressure, connectionless-mode transmission.