The following publications are possibly variants of this publication:
- Characterising Testing Preorders for Finite Probabilistic ProcessesYuxin Deng, Rob J. van Glabbeek, Matthew Hennessy, Carroll Morgan, Chenyi Zhang. lics 2007: 313-325 [doi]
- Characterisations of testing preorders for a finite probabilistic π-calculusYuxing Deng, Alwen Tiu. fac, 24(4-6):701-726, 2012. [doi]
- Characterising Testing Preorders for Broadcasting Distributed SystemsAndrea Cerone, Matthew Hennessy. tgc 2014: 67-81 [doi]
- Testing Finitary Probabilistic ProcessesYuxin Deng, Rob J. van Glabbeek, Matthew Hennessy, Carroll Morgan. concur 2009: 274-288 [doi]
- Remarks on Testing Probabilistic ProcessesYuxin Deng, Rob J. van Glabbeek, Matthew Hennessy, Carroll Morgan, Chenyi Zhang. ENTCS, 172:359-397, 2007. [doi]