Semi-pullbacks and bisimulation in categories of markov processes (1999)

by A Edalat
Venue:Mathematical Structures in Computer Science