@inproceedings{Deng_GHM_09,
    address          = {Bologna, Italy},
    author           = {Deng, Yuxin and van Glabbeek, Robert and Hennessy, Matthew and Morgan, Carroll},
    booktitle        = {Proceedings of the 20th International Conference on Concurrency Theory (CONCUR)},
    editor           = {{Mario Bravetti and Gianluigi Zavattaro}},
    issn             = {0302-9743},
    keywords         = {probabilistic processes, nondeterminism, csp, transition systems, testing equivalences, simulation,
                        failure simulation, modal characterisations, divergence.},
    month            = aug,
    pages            = {274--288},
    paperurl         = {https://trustworthy.systems/publications/nicta_full_text/1783.pdf},
    publisher        = {Springer},
    title            = {Testing Finitary Probabilistic Processes (Extended Abstract)},
    year             = {2009}
  }