Protocol validation by fair progress state exploration (Q3696532)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Protocol validation by fair progress state exploration
scientific article

    Statements

    Protocol validation by fair progress state exploration (English)
    0 references
    0 references
    0 references
    1985
    0 references
    0 references
    computer network protocols
    0 references
    computing channel capacities
    0 references
    communicating finite state machines
    0 references
    FIFO channels
    0 references
    reachability graph
    0 references
    0 references