General method of testing the compatibility of interacting automata with finite memory (Q1582909)

From MaRDI portal
scientific article
Language Label Description Also known as
English
General method of testing the compatibility of interacting automata with finite memory
scientific article

    Statements

    General method of testing the compatibility of interacting automata with finite memory (English)
    0 references
    13 May 2001
    0 references
    interacting partial nondeterministic automata
    0 references

    Identifiers