Silence is golden
branching bisimilarity is decidable for context-free processes.
Edición de la obra Silence is golden
| Autor | Hans H"uttel |
|---|---|
| Editorial | University of Edinburgh, Laboratory for Foundations of Computer Science |
| Fecha de publicación | 1991 |
| Lugar | Edinburgh |
| Idioma | inglés |
| Páginas | 20 |
| Serie | LFCS report series -- ECS-LFCS-91-173 |
| Número de Cutter | S582 |