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.