Protocol analysis and synthesis by structured partitions (Q3776595)

From MaRDI portal
Revision as of 12:47, 5 February 2024 by Import240129110113 (talk | contribs) (Added link to MaRDI item.)
scientific article
Language Label Description Also known as
English
Protocol analysis and synthesis by structured partitions
scientific article

    Statements

    Protocol analysis and synthesis by structured partitions (English)
    0 references
    0 references
    0 references
    1986
    0 references
    network protocols
    0 references
    structured partitions
    0 references
    communicating finite state machines
    0 references
    protocol analysis
    0 references
    synthesis
    0 references
    protocol graph
    0 references

    Identifiers