Expressive modular fine-grained concurrency specification.

Bart Jacobs Frank Piessens

Published in: POPL (2011)

Keyphrases

fine grained
concurrency control
coarse grained
access control
high level
tightly coupled
highly modular
massively parallel
data lineage