Reversibility in session-based concurrency: A fresh look.

Claudio Antares Mezzina Jorge A. Pérez

Published in: J. Log. Algebraic Methods Program. (2017)

Keyphrases

concurrency control
markov chain
database systems
transaction processing
bayesian networks
decision trees
nested transactions
software systems
neural network
computer vision
website
concurrent execution
database
integrity constraints
distributed systems
web search
probabilistic model
multiscale