@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} }