@article{Deng_GHM_08,
    author           = {Deng, Yuxin and van Glabbeek, Robert and Hennessy, Matthew and Morgan, Carroll},
    issn             = {1860-5974},
    journal          = {Logical Methods in Computer Science},
    keywords         = {probabilistic processes, nondeterminism, csp, transition systems, testing equivalences, simulation,
                        failure simulation, modal characterisations, complete axiomatisations.},
    month            = oct,
    number           = {4},
    pages            = {1--33},
    paperurl         = {https://trustworthy.systems/publications/nicta_full_text/154.pdf},
    title            = {Characterising Testing Preorders for Finite Probabilistic Processes},
    volume           = {4},
    year             = {2008}
  }