Expressiveness of Notations for Reasoning about Concurrency.

Published in: ICECCS (2013)

Keyphrases

expressive power
concurrency control
database systems
qualitative reasoning
levels of abstraction
spatial reasoning
information retrieval
causal reasoning
formal theory
dynamic allocation
bayesian networks
computational properties
nested transactions