Characterising Testing Preorders for Finite Probabilistic Processes.

Yuxin Deng, Rob J. van Glabbeek, Matthew Hennessy, Carroll Morgan, Chenyi Zhang

Browse the full LICS paper archive.