Angelic semantics of fine-grained concurrency.

Dan R. Ghica Andrzej S. Murawski

Published in: Ann. Pure Appl. Log. (2008)

Keyphrases

fine grained
concurrency control
coarse grained
data provenance
access control
correctness criterion
tightly coupled
database systems
information extraction