Please use this identifier to cite or link to this item:
https://thuvienso.dau.edu.vn:88/handle/DHKTDN/6302| Title: | Formal Models of Operating System Kernels |
| Authors: | Craig, D. Iain |
| Keywords: | Operating systems Kernels |
| Issue Date: | 2007 |
| Publisher: | Springer-Verlag London Limited |
| Abstract: | 1. Introduction; 2. Standard and Generic components; 3. A simple kernels; 4. A swapping kernels; 5. Using messages in the swapping kernels; 6. Virtual storage; 7. Final remarks. |
| URI: | https://thuvienso.dau.edu.vn:88/handle/DHKTDN/6302 |
| ISSN: | 978-1-84628-375-8 |
| Appears in Collections: | Ngoại Văn |
Files in This Item:
| File | Description | Size | Format | |
|---|---|---|---|---|
| Formal Models of Operating System Kernels.3586.pdf | 1.83 MB | Adobe PDF |  View/Open |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.