Giorgio Bacci, Radu Mardare, Prakash Panangaden, Gordon D. Plotkin. Quantitative Equational Reasoning. In Gilles Barthe, Joost-Pieter Katoen, Alexandra Silva 0001, editors, Foundations of Probabilistic Programming. pages 333-360, Cambridge University Press, 2020. [doi]
Abstract is missing.