|
Edinburgh Research Archive >
Informatics, School of >
Informatics Report Series >
Please use this identifier to cite or link to this item:
http://hdl.handle.net/1842/3393
|
| Title: | Decidability of Bisimulation Equivalence for Pushdown Processes |
| Authors: | Stirling, Colin |
| Issue Date: | Jan-2000 |
| Series/Report no.: | Informatics Report Series
EDI-INF-RR-0005 |
| Abstract: | We show that bisimulation equivalence is decidable for pushdown automata without epsilon-transitions. |
| Keywords: | Informatics |
| URI: | http://hdl.handle.net/1842/3393 |
| Appears in Collections: | Informatics Report Series
|
Items in ERA are protected by copyright, with all rights reserved, unless otherwise indicated.
|
