Dan Frumin, Emanuele D'Osualdo, Bas van den Heuvel 0001, Jorge A. Pérez 0001. A bunch of sessions: a propositions-as-sessions interpretation of bunched implications in channel-based concurrency. Proceedings of the ACM on Programming Languages, 6(OOPSLA2):841-869, 2022. [doi]
Abstract is missing.