Semi-pullbacks and bisimulation in categories of Markov processes

Abbas Edalat. Semi-pullbacks and bisimulation in categories of Markov processes. Mathematical Structures in Computer Science, 9(5):523-543, 1999.

Abstract

Abstract is missing.