@misc{indiciaebd5e6e4bdbdc,
  title = {A Bunch of Sessions: A Propositions-as-Sessions Interpretation of Bunched Implications in Channel-Based Concurrency},
  author = {Dan Frumin and Emanuele D'Osualdo and Bas van den Heuvel and Jorge A. Pérez},
  year = {2022},
  url = {https://arxiv.org/abs/2209.05421},
  note = {Source identifier: 2209.05421}
}