Simon Oddershede Gregersen, Alejandro Aguirre 0001, Philipp G. Haselwarter, Joseph Tassarotti, Lars Birkedal. Asynchronous Probabilistic Couplings in Higher-Order Separation Logic. Proceedings of the ACM on Programming Languages, 8(POPL):753-784, January 2024. [doi]
Abstract is missing.