Metrics for Labeled Markov Systems. Accepted to Theoretical Computer Science (2003)

by J Desharnais, V Gupta, R Jagadeesan, P Panangaden