Towards an Implementation-oriented Specification of TP Protocol in LOTOS

I.A. Widya, G.J. van der Heijden

    Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

    Original languageUndefined
    Title of host publicationLecture Notes in Computer Science: Formal Methods Europe '93: Industrial-Strengh formal Methods
    Place of PublicationOdense - Denmark
    PublisherSpringer
    Pages93-109
    ISBN (Print)3-540-56662-7
    Publication statusPublished - 1993

    Keywords

    • METIS-119001

    Cite this

    Widya, I. A., & van der Heijden, G. J. (1993). Towards an Implementation-oriented Specification of TP Protocol in LOTOS. In Lecture Notes in Computer Science: Formal Methods Europe '93: Industrial-Strengh formal Methods (pp. 93-109). Odense - Denmark: Springer.