Angelic Semantics of Fine-Grained Concurrency.

Dan R. Ghica Andrzej S. Murawski

Published in: FoSSaCS (2004)

Keyphrases

fine grained
concurrency control
coarse grained
data provenance
access control
database systems
correctness criterion
database
massively parallel
tightly coupled