A Simple Correctness Proof of the MCS Contention-Free Lock.

Theodore Johnson Krishna Harathi

Published in: Inf. Process. Lett. (1993)

Keyphrases

concurrency control
neural network
database systems
provably correct
real time
machine learning
multiscale
distributed databases