@inproceedings{Deng_Glabbeek_10,
    address          = {Yogyakarta, Indonesia},
    author           = {Deng, Yuxin and van Glabbeek, Robert},
    booktitle        = {International Conference on Logic for Programming, Artificial Intelligence and Reasoning},
    editor           = {{Christian Ferm\"uller \& Andrei Voronkov}},
    issn             = {0302-9743},
    keywords         = {concurreny, probabilistic processes, modal mu-calculus, simulation, bisimulation, characteristic
                        formulae},
    month            = oct,
    pages            = {278--293},
    paperurl         = {https://trustworthy.systems/publications/nicta_full_text/784.pdf},
    publisher        = {Springer},
    title            = {Characterising Probabilistic Processes Logically (Extended Abstract)},
    year             = {2010}
  }