A CSP Model of a Process−Oriented File System
James Whitehead II and Thomas Gibson−Robinson
Journal
Department of Computer Science Student Conference 2011
Pages
16–17
Year
2011
James Whitehead II and Thomas Gibson−Robinson