The Structure of a Multi-Service

Operating System

Timothy Roscoe

Queens' College

University of Cambridge

A dissertation submitted for the degree of

Doctor of Philosophy

April 1995