Characterising testing preorders for finite probabilistic processes. (2008)

by Y Deng, R van Glabbeek, M Hennessy, C Morgan
Venue:Logical Methods in Computer Science,