Decidability of bisimulation equivalence for processes generating context free languages
| Authors |
|
|---|---|
| Publication date | 1993 |
| Journal | Journal of the Association for Computing Machinery |
| Volume | Issue number | 40 | 3 |
| Pages (from-to) | 653-682 |
| Number of pages | 29 |
| Organisations |
|
| Document type | Article |
| Published at | https://doi.org/10.1145/174130.174141 |
| Downloads | |
| Permalink to this page | |
