Bisimulation for probabilistic transition systems: A coalgebraic approach
scientific article; zbMATH DE number 1387429
scientific article