Formal Description of a Transport Protocol in LOTOS

H.H.C. Kremer, J. van de Lagemaat, Giuseppe Scollo

    Research output: Other contributionOther research output

    Original languageEnglish
    PublisherISO/IEC-JTC1/SC6/WG4 Ad-hoc Group
    Place of PublicationFlorence
    Publication statusPublished - 31 Jan 1990

    Keywords

    • METIS-123058

    Cite this

    Kremer, H. H. C., van de Lagemaat, J., & Scollo, G. (1990, Jan 31). Formal Description of a Transport Protocol in LOTOS. Florence: ISO/IEC-JTC1/SC6/WG4 Ad-hoc Group.