Continuity Properties of Distances for Markov Processes

In this paper we investigate distance functions on finite state Markov processes thatmeasure the behavioural similarity of non-bisimilar processes. We consider both probabilistic bisimilarity metrics, and tracebased distances derived from standard Lp and Kullback-Leibler distances. Two desirable con