Stochastic coalgebraic logic: bisimilarity and behavioral equivalence
scientific article; zbMATH DE number 5348355