An Algebraic Theory for Shared-State Concurrency.

Yotam Dvir Ohad Kammar Ori Lahav

Published in: APLAS (2022)

Keyphrases

database
state space
data sets
real world
database systems
computer vision
multiscale
probability distribution
management system
software systems
theoretical framework
theoretical basis