A Concurrent Specification of POSIX File Systems.

Gian Ntzik, Pedro da Rocha Pinto, Julian Sutherland, Philippa Gardner

Browse the full ECOOP paper archive.