Complete Axiomatization for the Bisimilarity Distance on Markov Chains.

Giorgio Bacci, Giovanni Bacci, Kim G. Larsen, Radu Mardare

Browse the full CONCUR paper archive.