Login / Signup
A bunch of sessions: a propositions-as-sessions interpretation of bunched implications in channel-based concurrency.
Dan Frumin
Emanuele D'Osualdo
Bas van den Heuvel
Jorge A. Pérez
Published in:
Proc. ACM Program. Lang. (2022)
Keyphrases
</>
end to end
high level
database systems
data sets
database
artificial intelligence
wireless sensor networks
concurrency control