A Denotational Approach to Release/Acquire Concurrency.

Yotam Dvir Ohad Kammar Ori Lahav

Published in: ESOP (2) (2024)

Keyphrases

concurrency control
operational semantics
transaction processing
database systems
intelligent agents
data flow
concurrent execution
dynamic allocation
data sets
machine learning
information retrieval
clustering algorithm
nested transactions