A Logic of File Systems.

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

Published in: FAST (2005)

Keyphrases

file system
modal logic
access patterns
storage systems
data transfer
classical logic
storage devices
flash memory
scientific computing
continuous media
logic programming
application specific
distributed data
search tools
scalable distributed
metadata
multi valued
low cost