Verification and refinement with fine-grained action-based concurrent objects.

Emil Sekerinski

Published in: Theor. Comput. Sci. (2005)

Keyphrases

fine grained
coarse grained
access control
tightly coupled
concurrency control
database
d objects
metadata
model checking
data objects
massively parallel
databases
moving objects
web search
concurrent actions
data lineage