@misc{indiciae60739eddcdec,
  title = {A Complete Axiomatization of Branching Bisimilarity for a Simple Process Language with Probabilistic Choice},
  author = {Rob van Glabbeek and Jan Friso Groote and Erik de Vink},
  year = {2025},
  url = {https://arxiv.org/abs/2502.05631},
  note = {Source identifier: 2502.05631}
}