Generalised rely-guarantee concurrency: an algebraic foundation.

Published in: Formal Aspects Comput. (2016)

Keyphrases

database systems
multimedia
information technology
concurrency control
real time
data sets
information systems
face recognition
query processing
software systems
distributed databases
transaction processing
dynamic allocation