BS ISO/IEC TR 9572:1989 - Information technology. Open systems interconnection. LOTOS description of the session protocol
Printed version of this is available at library. To request, please e-mail to referencepk@usm.my and include a copy of this record in your e-mail.
This Technical Report contains a formal description of the OSI Basic Connection Oriented Session Protocol defined in ISO 8327. The formal definitions presented in this Technical Report are expressed in the formal description tecnique Lotos, which is defined in ISO 8807.
Data transmission; Specification languages; LOTOS; Open systems interconnection; Data transfer; Data processing; Communication procedures; Software engineering techniques