EasyChair Smart Slide
A Near-Linear-Time Algorithm for Weak Bisimilarity on Markov Chains
A Near-Linear-Time Algorithm for Weak Bisimilarity on Markov Chains