A simple proof system for lock-free concurrency.

Luís Caires Carla Ferreira António Ravara

Published in: PSPL@LICS (2010)

Keyphrases

concurrency control
real time
data sets
databases
neural network
data mining
knowledge base