A Concurrent Specification of POSIX File Systems.

Gian Ntzik Pedro da Rocha Pinto Julian Sutherland Philippa Gardner

Published in: ECOOP (2018)

Keyphrases

file system
application specific
hybrid automata
access patterns
data transfer
storage systems
scientific computing
multi tiered
distributed data
formal specification
search tools
specification language
flash memory
storage devices
scalable distributed
continuous media
general purpose