A Near-Linear-Time Algorithm for Weak Bisimilarity on Markov Chains.

David N. Jansen, Jan Friso Groote, Ferry Timmers, Pengfei Yang

Browse the full CONCUR paper archive.