APICe » Publications » bisimMarkov02

Bisimulation for Labelled Markov Processes

José Desharnais, Abbas Edalat, Prakash Panangaden
Information and Computation 179(2), pages 163--193, 2002
@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}