Semi-pullbacks and bisimulations in categories of stochastic relations (2003)

by E-E Doberkat
Venue:Proceedings of the 27th International Colloquium On Automata Languages And Programming, ICALP’03, number 2719 in Lecture Notes In Computer Science