Computation Tree Logic with Deadlock Detection (Q3401140)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Computation Tree Logic with Deadlock Detection
scientific article

    Statements

    Computation Tree Logic with Deadlock Detection (English)
    0 references
    0 references
    0 references
    0 references
    28 January 2010
    0 references
    temporal logic
    0 references
    transition system
    0 references
    bisimulation equivalence
    0 references
    deadlock
    0 references
    parallel composition
    0 references
    stuttering equivalence
    0 references

    Identifiers