A Logic of File Systems.

Muthian Sivathanu, Andrea C. Arpaci-Dusseau, Remzi H. Arpaci-Dusseau, Somesh Jha

Browse the full FAST paper archive.