Dear Spiral user, We’re pleased to introduce Helix, https://helix.imperial.ac.uk/ Imperial’s new repository for research datasets. Please use Helix for all future dataset deposits. There is no change to Spiral - continue depositing as usual. For queries, contact the Research Data Management team at rdm-enquiries@imperial.ac.uk. Kind regards, the Spiral Team. The Spiral team
A concurrent speci cation of POSIX file systems technical report
File(s)
DTRS18-3.pdf (631.75 KB)
Published version
Author(s)
Ntzik, Gian
da Rocha Pinto, Pedro Miguel
Sutherland, Julian
Gardner, Philippa
Type
Report
Date Issued
2018-01-01
Citation
Departmental Technical Report: 18/3, 2018, pp.1-54
URI
DOI
Publisher
Department of Computing, Imperial College London
Start Page
1
End Page
54
Journal / Book Title
Departmental Technical Report: 18/3
Copyright Statement
© 2018 The Author(s). This report is available open access under a CC-BY-NC-ND (https://creativecommons.org/licenses/by-nc-nd/4.0/)
License URL
Publication Status
Published