Modeling of Multiversion Concurrency Control System Using Event-B.

Raghuraj Suryavanshi Divakar Yadav

Published in: FedCSIS (2012)

Keyphrases

control system
concurrency control
fuzzy logic
closed loop
database systems
control strategy
databases
data structure