Silence is golden: Branching bisimilarity is decidable for context-free processes (Q6493513)

From MaRDI portal
scientific article; zbMATH DE number 7839216
Language Label Description Also known as
English
Silence is golden: Branching bisimilarity is decidable for context-free processes
scientific article; zbMATH DE number 7839216

    Statements

    Silence is golden: Branching bisimilarity is decidable for context-free processes (English)
    0 references
    0 references
    29 April 2024
    0 references

    Identifiers