Doberkat, Ernst-Erich2004-12-062004-12-0620022003-04-28http://hdl.handle.net/2003/268110.17877/DE290R-16055enUniversität DortmundInternes Memorandum des Lehrstuhls für Software-Technologie / Fachbereich Informatik, Universität Dortmund ; 130BisimulationHennessy-Milner logiclabelled Markov processessemi-pullbackstochastic relations004Semi-Pullbacks and Bisimulations in Categories of Stochastic Relationsworking paper