Operational semantics for path expressions with postponing of nondeterministic choices

J.J. Luursema

    Research output: Book/ReportReportProfessional

    Original languageEnglish
    Place of PublicationEnschede
    PublisherUniversity of Twente
    Number of pages24
    Publication statusPublished - 1990

    Publication series

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

    Cite this