Generalised rely-guarantee concurrency: An algebraic foundation.

Published in: CoRR (2016)

Keyphrases

concurrency control
database systems
neural network
software systems
transaction processing
machine learning
decision making
similarity measure
concurrent programming