Bundle event structures: a non-interleaving semantics for LOTOS

    Research output: Book/ReportReportProfessional

    Original languageEnglish
    Place of PublicationEnschede
    PublisherUniversity of Twente
    Number of pages16
    Publication statusPublished - 1991

    Publication series

    NameMemoranda Informatica
    PublisherUniversity of Twente
    No.91-60
    ISSN (Print)0924-3755
    NameMemorandum TIOS
    PublisherUniversity of Twente, Tele-Informatics and Open Systems Group
    No.91-024

    Cite this

    Langerak, R. (1991). Bundle event structures: a non-interleaving semantics for LOTOS. (Memoranda Informatica; No. 91-60), (Memorandum TIOS; No. 91-024). Enschede: University of Twente.