Characterising Testing Preorders for Finite Probabilistic Processes
['Yuxin Deng', 'Rob J. van Glabbeek', 'Matthew Hennessy', 'Carroll Morgan']
Characterising Testing Preorders for Finite Probabilistic Processes