@misc{indiciae6afc945edc08,
  title = {Asynchronous Probabilistic Couplings in Higher-Order Separation Logic},
  author = {Simon Oddershede Gregersen and Alejandro Aguirre and Philipp G. Haselwarter and Joseph Tassarotti and Lars Birkedal},
  year = {2023},
  doi = {10.1145/3632868},
  url = {https://arxiv.org/abs/2301.10061},
  note = {Source identifier: 2301.10061}
}