Metrics for labeled markov systems (1999)

by J Desharnais, V Gupta, R Jagadeesan, P Panangaden
Venue:In Proc. of CONCUR: Concurrency Theory, LNCS 1664