@article{Deng_GHMZ_07,
    issn             = {1571-0661},
    month            = apr,
    journal          = {Electronic Notes in Theoretical Computer Science},
    paperurl         = {https://trustworthy.systems/publications/nicta_full_text/145.pdf},
    year             = {2007},
    keywords         = {probabilistic processes, nondeterminism, csp, transition systems, testing equivalences, simulation,
                        complete axiomatisations, structural operational semantics.},
    volume           = {172},
    title            = {Remarks on Testing Probabilistic Processes},
    number           = { },
    author           = {Deng, Yuxin and van Glabbeek, Robert and Hennessy, Matthew and Morgan, Carroll and Zhang, Cuicui},
    pages            = {359--397}
  }