@inproceedings{vanGlabbeek_Gd_19,
    address          = {Paris},
    author           = {van Glabbeek, Robert and Groote, Jan Friso and de Vink, Erik},
    booktitle        = {The Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and
                        Privacy --- Essays Dedicated to Catuscia Palamidessi on the Occasion of Her 60th Birthday},
    date             = {2019-11-4},
    doi              = {https://doi.org/10.1007/978-3-030-31175-9\_9},
    editor           = {{M.S. Alvim, K. Chatzikokolakis, C. Olarte \& F. Valencia}},
    keywords         = {Process algebra; probabilistic processes; nondeterminism; branching bisimulation; complete
                        axiomatisation},
    month            = nov,
    pages            = {139-162},
    paperurl         = {https://trustworthy.systems/publications/full_text/vanGlabbeek_Gd_19.pdf},
    publisher        = {Springer},
    series           = {LNCS 11760},
    title            = {{A} Complete Axiomatization of Branching Bisimilarity for a Simple Process Language with
                        Probabilistic Choice},
    volume           = {11760},
    year             = {2019}
  }