li-2024-a:
  type: article
  title: A Nominal Approach to Probabilistic Separation Logic
  author:
  - Li, John
  - Aytac, Jon
  - Johnson-Freyd, Philip
  - Ahmed, Amal
  - Holtzen, Steven
  date: 2024-07
  page-range: 1-14
  serial-number:
    doi: 10.1145/3661814.3662135
  parent:
    type: proceedings
    title: Proceedings of the 39th Annual ACM/IEEE Symposium on Logic in Computer Science
    publisher: ACM