Compositional Non-Interference for Fine-Grained Concurrent Programs.

Dan Frumin, Robbert Krebbers, Lars Birkedal

Browse the full SP paper archive.