Metrics for labelled Markov processes

Josee Desharnais, Vineet Gupta, Radha Jagadeesan, Prakash Panangaden. Metrics for labelled Markov processes. Theoretical Computer Science, 318(3):323-354, 2004. [doi]

Abstract

Abstract is missing.