Algorithms to Compute Probabilistic Bisimilarity Distances for Labelled Markov Chains.

Qiyi Tang, Franck van Breugel

Browse the full CONCUR paper archive.