Login / Signup

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

Theodore JohnsonKrishna Harathi
Published in: Inf. Process. Lett. (1993)
Keyphrases
  • concurrency control
  • neural network
  • database systems
  • provably correct
  • real time
  • machine learning
  • multiscale
  • distributed databases