Minimising the Probabilistic Bisimilarity Distance.

Stefan Kiefer, Qiyi Tang

Browse the full CONCUR paper archive.