Operational semantics for path expressions with postponing of nondeterministic choices

J.J. Luursema

    Research output: Book/ReportReportProfessional

    Original languageEnglish
    Place of PublicationEnschede
    PublisherUniversiteit Twente, Faculteit Informatica
    Number of pages24
    Publication statusPublished - 1990

    Publication series

    NameMemorandum Informatica
    PublisherUniversiteit Twente, Faculteit Informatica
    No.90-72
    ISSN (Print)0924-3755

    Cite this

    Luursema, J. J. (1990). Operational semantics for path expressions with postponing of nondeterministic choices. (Memorandum Informatica; No. 90-72). Enschede: Universiteit Twente, Faculteit Informatica.
    Luursema, J.J. / Operational semantics for path expressions with postponing of nondeterministic choices. Enschede : Universiteit Twente, Faculteit Informatica, 1990. 24 p. (Memorandum Informatica; 90-72).
    @book{88d3ae26449a459ba9c86b44fc0833d6,
    title = "Operational semantics for path expressions with postponing of nondeterministic choices",
    author = "J.J. Luursema",
    year = "1990",
    language = "English",
    series = "Memorandum Informatica",
    publisher = "Universiteit Twente, Faculteit Informatica",
    number = "90-72",

    }

    Luursema, JJ 1990, Operational semantics for path expressions with postponing of nondeterministic choices. Memorandum Informatica, no. 90-72, Universiteit Twente, Faculteit Informatica, Enschede.

    Operational semantics for path expressions with postponing of nondeterministic choices. / Luursema, J.J.

    Enschede : Universiteit Twente, Faculteit Informatica, 1990. 24 p. (Memorandum Informatica; No. 90-72).

    Research output: Book/ReportReportProfessional

    TY - BOOK

    T1 - Operational semantics for path expressions with postponing of nondeterministic choices

    AU - Luursema, J.J.

    PY - 1990

    Y1 - 1990

    M3 - Report

    T3 - Memorandum Informatica

    BT - Operational semantics for path expressions with postponing of nondeterministic choices

    PB - Universiteit Twente, Faculteit Informatica

    CY - Enschede

    ER -

    Luursema JJ. Operational semantics for path expressions with postponing of nondeterministic choices. Enschede: Universiteit Twente, Faculteit Informatica, 1990. 24 p. (Memorandum Informatica; 90-72).