The infinite evolution mechanism of \(\epsilon\)-bisimilarity
scientific article; zbMATH DE number 6351822
scientific article