ReLoC: A Mechanised Relational Logic for Fine-Grained Concurrency.

Dan Frumin Robbert Krebbers Lars Birkedal

Published in: LICS (2018)

Keyphrases

fine grained
concurrency control
coarse grained
access control
relational databases
data model
massively parallel
database systems
modal logic
tightly coupled
databases
knowledge base
network security
relational structures
concurrent programming