Formal description of the OSI session layer: session service

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


    The LOTOS formal description of the OSI session service is presented on basis of specification samples from the full description, giving account of how specification styles and session service architectural elements are reflected in the description. Both information (data types) and process (behaviour) aspects are addressed. Where possible, commonalities with the LOTOS formal description of the OSI transport service are exploited in the formal description, i.e. sharing structure and definition parts.
    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 pages35
    ISBN (Print)0444872671
    Publication statusPublished - 1989


    • EWI-6822
    • SCS-Services

    Cite this