@article{bisimMarkov02, Author = {Desharnais, José and Edalat, Abbas and Panangaden, Prakash}, Journal = {Information and Computation}, Number = 2, Pages = {163--193}, Title = {Bisimulation for Labelled Markov Processes}, Volume = 179, Year = 2002}