Denotational, Causal, and Operational Determinism in Event Structures

    Research output: Book/ReportReportOther research output

    146 Downloads (Pure)

    Abstract

    Determinism is a theoretically and practically important concept in labelled transition systems and trees. We study its generalisation to event structures. It turns out that the result depends on what characterising property of tree determinism one sets out to generalise. We present three distinct notions of event structure determinism, and show that none of them shares all the pleasant properties of the one concept for trees.
    Original languageUndefined
    Place of PublicationHildesheim
    PublisherUniversity of Hildesheim
    Number of pages24
    Publication statusPublished - Sept 1995

    Publication series

    NameHildesheimer Informatik-Berichte
    PublisherInstitut für Informatik, University of Hildesheim
    No.29/95
    ISSN (Print)0941-3014

    Keywords

    • parsing
    • EWI-8266
    • Normal form
    • Recognition
    • Context-free grammar
    • IR-66648

    Cite this