Reasoning about Hierarchical Storage.

Amal J. Ahmed, Limin Jia, David Walker

Browse the full LICS paper archive.