Reasoning about Nonblocking Concurrency using Reduction.

Published in: ICECCS (2007)

Keyphrases

concurrency control
database systems
spatial reasoning
dynamic allocation
database
data sets
search engine
e learning
data streams
query processing
qualitative reasoning
formal theory