@misc{indiciae523bd7df9bd0,
  title = {Axiomatising Infinitary Probabilistic Weak Bisimilarity of Finite-State Behaviours},
  author = {Nick Fischer and Rob van Glabbeek},
  year = {2018},
  doi = {10.1016/j.jlamp.2018.09.006},
  url = {https://arxiv.org/abs/1810.07488},
  note = {Source identifier: 1810.07488}
}