Login / Signup

A Bunch of Sessions: A Propositions-as-Sessions Interpretation of Bunched Implications in Channel-Based Concurrency.

Dan FruminEmanuele D'OsualdoBas van den HeuvelJorge A. Pérez
Published in: CoRR (2022)
Keyphrases
  • database systems
  • artificial intelligence
  • real world
  • website
  • database management systems
  • concurrency control
  • multi channel
  • communication channels
  • cellular networks
  • noisy channel