Semi-Pullbacks and Bisimulations in Categories of Stochastic Relations - Doberkat, Ernst-Erich (Universität Dortmund, 2003)
Internes Memorandum des Lehrstuhls für Software-Technologie / Fachbereich Informatik, Universität Dortmund ; 130
Keywords: Bisimulation; Hennessy-Milner logic; labelled Markov processes; semi-pullback; stochastic relations; 004