Login / Signup
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