On the complexity of checking semantic equivalences between pushdown processes and finite-state processes
Antonín Kučera, Richard MayrVolume:
208
Year:
2010
Language:
english
Pages:
25
DOI:
10.1016/j.ic.2010.01.003
File:
PDF, 402 KB
english, 2010