Order isomorphism does not preserve global event independence

    Research output: Book/ReportReportOther research output

    20 Downloads (Pure)

    Abstract

    We report a negative result on the characterisation of partial order equivalence relations over models which feature a global notion of event independence. We show an example of two systems which are equivalent in a very strong sense, viz. give rise to /isomorphic domains of computations/, but which do not admit any independence-preserving relation between their respective event sets.
    Original languageUndefined
    Place of PublicationHildesheim
    PublisherInstitut für Informatik, University of Hildesheim
    Number of pages12
    Publication statusPublished - Sep 1993

    Publication series

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

    Keywords

    • IR-66640
    • EWI-8248

    Cite this