Decidability of bisimulation equivalence for normed pushdown processes
| Author(s) : | Colin Stirling, |
| Publisher : | N/A |
| Publication Date : | 1998 |
| ISSN : | N/A |
| Abstract : | We prove that bisimulation equivalence is decidable for normed pushdown processes. 1, |
©2007 Dammam Community College