Undecidable equivalences for basic process algebra (Q1342523)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Undecidable equivalences for basic process algebra
scientific article

    Statements

    Undecidable equivalences for basic process algebra (English)
    0 references
    0 references
    0 references
    16 February 1995
    0 references
    strong bisimilarity
    0 references
    normed BPA processes
    0 references
    context-free grammars
    0 references

    Identifiers