@inproceedings{Deng_GHMZ_07_2, isbn = {978-0-7695-2908-0}, publisher = {IEEE Computer Society Press}, booktitle = {Proceedings of the 22nd Annual IEEE Symposium on Logic in Computer Science}, month = jul, paperurl = {https://trustworthy.systems/publications/nicta_full_text/150.pdf}, year = {2007}, keywords = {probabilistic processes, nondeterminism, csp, transition systems, testing equivalences, simulation, failure simulation, modal characterisations, complete axiomatisations.}, title = {Characterising Testing Preorders for Finite Probabilistic Processes}, author = {Deng, Yuxin and van Glabbeek, Robert and Hennessy, Matthew and Morgan, Carroll and Zhang, Cuicui}, address = {Wroclaw, Poland}, pages = {313--322} }