Bridging the gap between fair simulation and trace inclusion (Q2486398)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Bridging the gap between fair simulation and trace inclusion
scientific article

    Statements

    Bridging the gap between fair simulation and trace inclusion (English)
    0 references
    0 references
    0 references
    0 references
    5 August 2005
    0 references
    Streett automata
    0 references
    Trace inclusion
    0 references
    Fair simulation
    0 references

    Identifiers