[JansenGTY20] A Near-Linear-Time Algorithm for Weak Bisimilarity on Markov Chains Jansen, D. N.; Groote, J. F.; Timmers, F. and Yang, P. In CONCUR, pages 8:1-8:20, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, LIPIcs 171, 2020.
Downloads: bibURL: https://doi.org/10.4230/LIPIcs.CONCUR.2020.8