Logical relations for fine-grained concurrency.

Aaron Joseph Turon Jacob Thamsborg Amal Ahmed Lars Birkedal Derek Dreyer

Published in: POPL (2013)

Keyphrases

fine grained
concurrency control
coarse grained
access control
logical structure
database systems
semantic relations
massively parallel
tightly coupled
probabilistic model
co occurrence
information retrieval
data structure
graphical models