Formal description of the OSI session layer: introduction
Ibrahim Ajubi, Giuseppe Scollo, Marten J. Van Sinderen · University of Twente Research Information · 1989
The LOTOS formal description of the OSI session layer is introduced with the purpose of familiarizing the reader with the design choices that influenced the development of the formal description. Such design choices concern the adoptation of specification styles and the reflection of elements of the session layer architecture in the formal description. A brief account is given of the correctness test that the description has passed.