Actions speak louder than words: proving bisimilarity for context-free processes (Q4209294)

From MaRDI portal
Revision as of 18:16, 19 February 2024 by RedirectionBot (talk | contribs) (‎Changed an Item)
scientific article; zbMATH DE number 1202876
Language Label Description Also known as
English
Actions speak louder than words: proving bisimilarity for context-free processes
scientific article; zbMATH DE number 1202876

    Statements

    Actions speak louder than words: proving bisimilarity for context-free processes (English)
    0 references
    0 references
    0 references
    27 September 1998
    0 references
    bisimulation equivalence
    0 references
    irredundant context-free grammars
    0 references
    tableau decision method
    0 references
    goal-directed rules
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references