Alejandro Aguirre 0001, Gilles Barthe, Justin Hsu, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja. A pre-expectation calculus for probabilistic sensitivity. Proceedings of the ACM on Programming Languages, 5(POPL):1-28, 2021. [doi]
Abstract is missing.