@inproceedings{Deng_GHM_11,
    address          = {Saarbr\"ucken, Germany},
    author           = {Deng, Yuxin and van Glabbeek, Robert and Hennessy, Matthew and Morgan, Carroll},
    booktitle        = {Ninth Workshop on Quantitative Aspects of Programming Languages (QAPL 2011)},
    doi              = {10.4204/EPTCS.57.5},
    editor           = {{Mieke Massink \& Gethin Norman}},
    keywords         = {probabilistic processes, nondeterminism, transition systems, testing equivalences, reward testing,
                        failure simulation, divergence.},
    month            = jul,
    pages            = {61--73},
    paperurl         = {https://trustworthy.systems/publications/nicta_full_text/3864.pdf},
    publisher        = {Open Publishing Association},
    title            = {Real Reward Testing for Probabilistic Processes (Extended Abstract)},
    year             = {2011}
  }