Sign in

Safe Session-Based Concurrency with Shared Linear State.

Pedro RochaLuís Caires
Published in: ESOP (2023)
Keyphrases
  • real world
  • search engine
  • concurrency control
  • linear model
  • real time
  • information retrieval
  • information systems
  • database systems
  • state space
  • distributed databases