6 search results - page 2 / 2 » Complexity of deciding bisimilarity between normed BPA and n... |
ICALP
1999
Springer
13 years 9 months ago
1999
Springer
We consider the problem of simulation preorder/equivalence between infinite-state processes and finite-state ones. We prove that simulation preorder (in both directions) and simu...