On the complexity of checking semantic equivalences between pushdown processes and finite-state processes
scientific article; zbMATH DE number 5772400
scientific article