The approximate correctness of systems based on \(\delta\)-bisimulation
scientific article; zbMATH DE number 6862982
scientific article