Yuxin Deng, Rob J. van Glabbeek, Matthew Hennessy, Carroll Morgan, Chenyi Zhang. Characterising Testing Preorders for Finite Probabilistic Processes. In 22nd IEEE Symposium on Logic in Computer Science (LICS 2007), 10-12 July 2007, Wroclaw, Poland, Proceedings. pages 313-325, IEEE Computer Society, 2007. [doi]
Abstract is missing.