Yuxin Deng, Wenjie Du. A Local Algorithm for Checking Probabilistic Bisimilarity. In Fourth International Conference on Frontier of Computer Science and Technology, FCST 2009, Shanghai, China, 17-19 December, 2009. pages 401-407, IEEE Computer Society, 2009. [doi]
Abstract is missing.