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.
    Langerak, Rom. / Bundle event structures : a non-interleaving semantics for LOTOS. Enschede : University of Twente, 1991. 16 p. (Memoranda Informatica; 91-60). (Memorandum TIOS; 91-024).
    @book{2bb15d008f294c30a4da0969b56c6e0b,
    title = "Bundle event structures: a non-interleaving semantics for LOTOS",
    author = "Rom Langerak",
    note = "Rapport ESPRIT/LOTOSPHERE project",
    year = "1991",
    language = "English",
    series = "Memoranda Informatica",
    publisher = "University of Twente",
    number = "91-60",
    address = "Netherlands",

    }

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

    Bundle event structures : a non-interleaving semantics for LOTOS. / Langerak, Rom.

    Enschede : University of Twente, 1991. 16 p. (Memoranda Informatica; No. 91-60), (Memorandum TIOS; No. 91-024).

    Research output: Book/ReportReportProfessional

    TY - BOOK

    T1 - Bundle event structures

    T2 - a non-interleaving semantics for LOTOS

    AU - Langerak, Rom

    N1 - Rapport ESPRIT/LOTOSPHERE project

    PY - 1991

    Y1 - 1991

    M3 - Report

    T3 - Memoranda Informatica

    BT - Bundle event structures

    PB - University of Twente

    CY - Enschede

    ER -

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