Formalism in Computer System Design: Models of Parallelism and Concurrency

  1. Lookup NU author(s)
Author(s)Coffman EG
Series Editor(s)Cox NSM
Publication type Report
Series TitleComputing Laboratory Technical Report Series
Source Publication DateDecember 1969
Report Number1
Full text is available for this publication:
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.
InstitutionComputing Laboratory, The University of Newcastle upon Tyne
Place PublishedNewcastle upon Tyne
ActionsLink to this publication