Synthesis of Communicating Finite-State Machines with Guaranteed Progress (Q3219124)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Synthesis of Communicating Finite-State Machines with Guaranteed Progress
scientific article

    Statements

    Synthesis of Communicating Finite-State Machines with Guaranteed Progress (English)
    0 references
    0 references
    0 references
    1984
    0 references
    communication protocols
    0 references
    communicating finite-state machines
    0 references
    FIFO channels
    0 references

    Identifiers