The complexity of bisimilarity-checking for one-counter processes.
scientific article; zbMATH DE number 1965394
scientific article