Formal description of the OSI session layer: introduction

I. Ajubi, Giuseppe Scollo, Marten J. van Sinderen

    Research output: Chapter in Book/Report/Conference proceedingChapterAcademicpeer-review


    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.
    Original languageUndefined
    Title of host publicationThe formal description technique LOTOS: Results of the Esprit/Sedos project
    EditorsP.H.J. van Eijk, C.A. Vissers, M. Diaz
    Place of PublicationAmsterdam
    PublisherNorth Holland
    Number of pages8
    ISBN (Print)0444872671
    Publication statusPublished - 1989


    • SCS-Services
    • EWI-6828

    Cite this