Communicating Sequential Processes for Centralized and Distributed Operating System Design

Abstract

This paper demonstrates how the notation of Communicating Sequential Processes may be used in the design of an operating system. It goes further to show how such an approach assists in the design and development of a system distributed over a network of computers. The technique uses a welldefined design methodology. © 1984, ACM. All rights reserved.