@article{Fischer_Glabbeek_19,
    author           = {Fischer, Nick and van Glabbeek, Robert},
    date             = {2019-1-2},
    doi              = {https://doi.org/10.1016/j.jlamp.2018.09.006},
    journal          = {Journal of Logical and Algebraic Methods in Programming},
    keywords         = {Axiomatisation; Process algebra; Probability; Recursion},
    month            = jan,
    pages            = {64-102},
    paperurl         = {https://trustworthy.systems/publications/full_text/Fischer_Glabbeek_19.pdf},
    publisher        = {Elsevier},
    title            = {Axiomatising Infinitary Probabilistic Weak Bisimilarity of Finite-State Behaviours},
    volume           = {102},
    year             = {2019}
  }