An operating system project using Concurrent Euclid
Dale H. Grit · ACM SIGCSE Bulletin · 1988
For the past four years, the senior level operating systems course at Colorado State University has been using a project to reinforce the lecture material. The project used is essentially the project described in Shaw[l], and is implemented using Concurrent Euclid. In this paper, we will: provide an overview of the project; introduce the Concurrent Euclid language, emphasizing those aspects that make it a good choice to support this project; provide some details concerning the implementation of the project; and discuss student reactions to the project.