Safe Session-Based Concurrency with Shared Linear State.

Pedro Rocha Luí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