A specification of the OSI transport service in LOTOS

E. Brinksma, G. Karjoth

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    7 Citations (Scopus)
    Original languageEnglish
    Title of host publicationProtocol Specification, Testing and Verification IV (Proceedings IFIP WG6.1 4th International Workshop, Skytop Lodge PA, USA, June 11-14, 1984)
    EditorsY. Yemini, R.E. Strom, S. Yemini
    PublisherNorth-Holland Publishing Company
    Pages227-251
    ISBN (Print)0-444-87676-6
    Publication statusPublished - 1985

    Cite this

    Brinksma, E., & Karjoth, G. (1985). A specification of the OSI transport service in LOTOS. In Y. Yemini, R. E. Strom, & S. Yemini (Eds.), Protocol Specification, Testing and Verification IV (Proceedings IFIP WG6.1 4th International Workshop, Skytop Lodge PA, USA, June 11-14, 1984) (pp. 227-251). North-Holland Publishing Company.