Tools for teaching CCRs, monitors, and CSP concurrent programming concepts
Ronald A. Olsson, Carole M. McNamee · ACM SIGCSE Bulletin · 1995
This paper describes three preprocessors that, respectively, convert conditional critical region (CCR) notation, monitor notation, and Communicating Sequential Processes (CSP) notation into equivalent programs written in the SR concurrent programming language. Our goal is to allow students to experiment and to obtain hands-on experience with these notations. Together with native SR, the three preprocessors provide a teaching tool for a wide spectrum of synchronization mechanisms. This paper also describes the favorable experience obtained in using the preprocessors in several courses. The preprocessors are part of the standard SR distribution, which runs on most UNIX systems; they are in the public domain and available via ftp.