TY  - RPRT
TI  - A Bunch of Sessions: A Propositions-as-Sessions Interpretation of Bunched Implications in Channel-Based Concurrency
AU  - Dan Frumin
AU  - Emanuele D'Osualdo
AU  - Bas van den Heuvel
AU  - Jorge A. Pérez
PY  - 2022
UR  - https://arxiv.org/abs/2209.05421
ID  - 2209.05421
ER  -