Toggle Main Menu Toggle Search


Formalism in Computer System Design: Models of Parallelism and Concurrency

Lookup NU author(s):



The design of effective academic courses covering the topics of machine organisation and operating system design constitutes an important problem in computer science curriculum development. The point of departure for the talk that was based on these notes consisted of the apparent lack of sufficient formalism in many of these courses as they are presented today. The notes proceed to show that a formal framework can be found for a wide range of subjects in the area of operating system and machine organisation design. The means for demonstrating this was a survey of algebraic and stochastic models designed to represent various control and sequencing problems connected with multiprogramming and multiprocessing systems.

Publication metadata

Author(s): Coffman EG

Series Editor(s): Cox NSM

Publication type: Report

Series Title: Computing Laboratory Technical Report Series

Year: 1969

Pages: 42

Source Publication Date: December 1969

Report Number: 1

Institution: Computing Laboratory, The University of Newcastle upon Tyne

Place Published: Newcastle upon Tyne