Metrics for labelled Markov processes

Josee Desharnais
Radha Jagadeesan
Prakash Panangaden
Theor. Comput. Sci., 318 (2004), pp. 323-354

Abstract