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.