Fine-grained Concurrency with Separation Logic.

Kalpesh Kapoor Kamal Lodaya Uday S. Reddy

Published in: J. Philos. Log. (2011)

Keyphrases

fine grained
concurrency control
coarse grained
access control
tightly coupled
database systems
massively parallel
knowledge base
concurrent programming