EXPERIENCE USING THE C-PREPROCESSOR TO IMPLEMENT CCR, MONITOR, AND CSP PREPROCESSORS FOR SR

We have recently implemented three preprocessors that, respectively, c onvert conditional critical region (CCR) notation, monitor notation, a nd Communicating Sequential Processes (CSP)notation into equivalent pr ograms written in the SR concurrent programming language, The three pr eprocessors were built with cpp, the C preprocessor, This paper descri bes our experience in this use of cpp and especially how using cpp inf luenced the design and implementation of the extended notations, This paper also describes the favorable experience obtained in using the pr eprocessors in several courses, The results should be of interest to o thers who are contemplating implementing language extensions.