Metrics for labelled Markov processes (0)

by J Desharnais, R Jagadeesan, V Gupta, P Panangaden
Venue:Theoretical Computer Science