2007

Formal Models of Operating System Kernels

Authors:

ISBN: 978-1-84628-375-8 (Print) 978-1-84628-718-3 (Online)

Table of contents (7 chapters)

  1. Front Matter

    Pages i-xii

  2. No Access

    Book Chapter

    Pages 1-16

    Introduction

  3. No Access

    Book Chapter

    Pages 17-54

    Standard and Generic Components

  4. No Access

    Book Chapter

    Pages 55-85

    A Simple Kernel

  5. No Access

    Book Chapter

    Pages 87-202

    A Swapping Kernel

  6. No Access

    Book Chapter

    Pages 203-238

    Using Messages in the Swapping Kernel

  7. No Access

    Book Chapter

    Pages 239-312

    Virtual Storage

  8. No Access

    Book Chapter

    Pages 313-317

    Final Remarks

  9. Back Matter

    Pages 319-333