Jump to Content

Metrics for labelled Markov processes

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

Abstract