Unreliable channels are easier to verify than perfect channels (Q1908353)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Unreliable channels are easier to verify than perfect channels
scientific article

    Statements

    Unreliable channels are easier to verify than perfect channels (English)
    0 references
    0 references
    0 references
    0 references
    27 March 1996
    0 references
    reachability
    0 references
    model-checking against CTL\(^*\)
    0 references
    unboundedness
    0 references
    deadlock
    0 references

    Identifiers