Bundle event stuctures: a non-interleaving semantics for LOTOS

    Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

    Original languageUndefined
    Title of host publicationFormal Description Techniques, V.
    Place of PublicationAmsterdam
    PublisherNorth Holland
    Pages-
    Number of pages16
    Publication statusPublished - 1992

    Keywords

    • METIS-118912

    Cite this