On the expressiveness of higher dimensional automata (Q2491631)

From MaRDI portal
scientific article
Language Label Description Also known as
English
On the expressiveness of higher dimensional automata
scientific article

    Statements

    On the expressiveness of higher dimensional automata (English)
    0 references
    29 May 2006
    0 references
    concurrency
    0 references
    expressiveness
    0 references
    causality
    0 references
    higher-dimensional automata
    0 references
    Petri nets
    0 references
    event structures
    0 references
    history-preserving bisimulation
    0 references
    st-bisimulation
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references

    Identifiers