Probabilistic bisimilarity as testing equivalence

Yuxin Deng, Yuan Feng. Probabilistic bisimilarity as testing equivalence. Inf. Comput., 257:58-64, 2017. [doi]

Abstract

Abstract is missing.