Compositional Non-Interference for Fine-Grained Concurrent Programs.

Dan Frumin Robbert Krebbers Lars Birkedal

Published in: CoRR (2019)

Keyphrases

fine grained
concurrent programs
coarse grained
concurrent programming
concurrent processes
process algebra
access control
web applications
massively parallel
databases
data lineage
tightly coupled
concurrent systems
machine learning
programming language
formal methods
general purpose