Complexity of equivalence problems for concurrent systems of finite agents (Q1383143)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Complexity of equivalence problems for concurrent systems of finite agents
scientific article

    Statements

    Complexity of equivalence problems for concurrent systems of finite agents (English)
    0 references
    16 July 1998
    0 references
    concurrent system
    0 references
    synchronous communicating agents
    0 references

    Identifiers