@article{Goubault_Larrecq_2014,
    doi = {10.1016/j.entcs.2014.10.010},
    url = {https://doi.org/10.1016%2Fj.entcs.2014.10.010},
    year = {2014},
    month = {oct},
    publisher = {Elsevier {BV}},
    volume = {308},
    pages = {167--182},
    author = {Jean Goubault-Larrecq and Achim Jung},
    title = {{QRB}, {QFS}, and the Probabilistic Powerdomain},
    journal = {Electronic Notes in Theoretical Computer Science}
}

@article{Goubault_Larrecq_2014, doi = {10.1016/j.entcs.2014.10.010}, url = {https://doi.org/10.1016%2Fj.entcs.2014.10.010}, year = {2014}, month = {oct}, publisher = {Elsevier {BV}}, volume = {308}, pages = {167--182}, author = {Jean Goubault-Larrecq and Achim Jung}, title = {{QRB}, {QFS}, and the Probabilistic Powerdomain}, journal = {Electronic Notes in Theoretical Computer Science} }