Reasoning about Nonblocking Concurrency.

Published in: J. Univers. Comput. Sci. (2009)

Keyphrases

spatial reasoning
database systems
concurrency control
qualitative reasoning
similarity measure
formal theory
object oriented languages
neural network
computer vision
case study
mobile devices
probabilistic knowledge
modal operators
dynamic allocation