17
IRUS TotalDownloads
Altmetric
A concurrent speci cation of POSIX file systems technical report
| File | Description | Size | Format | |
|---|---|---|---|---|
 DTRS18-3.pdf | Published version | 631.75 kB | Adobe PDF | View/Open |
| Title: | A concurrent speci cation of POSIX file systems technical report |
| Authors: | Ntzik, G Da Rocha Pinto, PM Sutherland, J Gardner, P |
| Item Type: | Report |
| Issue Date: | 1-Jan-2018 |
| URI: | http://hdl.handle.net/10044/1/94879 |
| DOI: | 10.25561/94879 |
| 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/) |
| Publication Status: | Published |
| Appears in Collections: | Computing Faculty of Engineering |
This item is licensed under a Creative Commons License
