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
29 April 2024
0 references