Showing papers by "C. A. R. Hoare published in 1982"
01 Jan 1982
TL;DR: The structure of an operating system can be clearly expressed as a hierarchy of communicating sequential processes as illustrated by the development of an absurdly simple multiprogrammed batch processing system.
Abstract: This paper suggests that the structure of an operating system can be clearly expressed as a hierarchy of communicating sequential processes. The suggestion is illustrated by the development of an absurdly simple multiprogrammed batch processing system. It is hoped that the structuring methods and notations may be more widely useful.
1 citations