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