Bisimulation for Labelled Markov Processes

@article{bisim-markov02,
   apice = {BisimMarkovInfocomp179},
   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
}