ISO/IEC TR 11590:1995

Information technology — Open Systems Interconnection — LOTOS description of the CCR protocol ISO/IEC TR 11590:1995

Publication date:   Sep 21, 1995

Scope

Describes ISO/IEC 9805-1 CCR Protocol Specification using formal description language LOTOS. The LOTOS specification includes not only CCR protocol machine, but also CF (control function) which controls the ASEs in order that the architecture of the CCR-ASE process is compatible with the ALS structure. According to the ALS structure, this Technical Report employs the model as shown in clause 6. LOTOS Specification covers CF (control function) as well as CCR protocol machine, however, the description of CF includes only its functions concerning CCR operations.