Bisimulation for Labelled Markov Processes
 |
 |
@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}
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}