Giorgio Bacci, Giovanni Bacci, Kim G. Larsen, Radu Mardare. Complete Axiomatization for the Bisimilarity Distance on Markov Chains. In Josée Desharnais, Radha Jagadeesan, editors, 27th International Conference on Concurrency Theory, CONCUR 2016, August 23-26, 2016, Québec City, Canada. Volume 59 of LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2016. [doi]
Abstract is missing.