Non-expansive \(\varepsilon\)-bisimulations for probabilistic processes
scientific article; zbMATH DE number 5712823