Characterising testing preorders for finite probabilistic processes (2007)

by Y Deng, R van Glabbeek, M Hennessy, C Morgan, C Zhang
Venue:In Proceedings of the 22nd Annual IEEE Symposium on Logic in Computer Science